Mattias Lundell
Archive
[PODCAST] The Type Theory Podcast - Dan Licata on Homotopy Type Theory
14 Jan 2015
http://typetheorypodcast.com/2015/01/episode-3-dan-licata-on-homotopy-type-theory/
Homotopical Patch Theory -
http://dlicata.web.wesleyan.edu/pubs/amlh14patch/amlh14patch.pdf
Older
·
View Archive (10)
[LINK] Rust by Example
Newer
[NOTE] defrecord