Bauer, Andrej. https://github.com/HoTT/book/issues/727, 2014.
Shulman, Mike. https://github.com/HoTT/book/issues/733, 2014.
———. https://github.com/HoTT/book/issues/740, 2014.
Except As Otherwise Noted, The Content Of This Page Is Licensed Under The CC-BY-SA 4.0 License And Code Samples Are Licensed Under The GPL 3.0 License. For Details, See License.