Homotopy Type Theory
about (Rev #3, changes)

Showing changes from revision #2 to #3: Added | Removed | Changed

For now, see the nLab’s HowTo and FAQ. The nLab’s conventions don’t necessarily apply to us, but the technical remarks about its wiki software do, since we’re sharing their instiki installation.

Note in particular that it’s easy to make links to and from the nLab from here. From here, write [[nlab:page name]], and from there, write [[homotopytypetheory:page name]].

{Let us use braces for meta-comments and -questions.}

meta-comments and -questions are treated like this.

Revision on February 19, 2014 at 15:59:36 by Steve Awodey?. See the history of this page for a list of all contributions to it.