News for hackers. Stuff that matters.
Re:Propositions as Types (2014) [pdf] by harveywi on Saturday November 14, 2015 @11:48AM (#10566247)
Lawrence H. Dunn III from FSU put together a really nice honors thesis that provides a gentle overview of HoTT. The author was an undergrad math student, so there might be a couple mistakes here and there, but the text was quite accessible.

http://diginole.lib.fsu.edu/cgi/viewcontent.cgi?article=1357...

If you find anything else, let us know!

There are no comments on this comment yet.