Homotopy Type Theory about > history (Rev #5, changes)

Showing changes from revision #4 to #5: Added | Removed | Changed

For now, see the nLab’sHowTo 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]].

As of 6 June 2022, the HoTT web is regarded as deprecated. All further HoTT-related editing should happen on the main nLab web, and anyone who feels like porting an entry or two from there to here would do a great service to the community.

meta-comments and -questions are treated like this.

Revision on June 6, 2022 at 16:36:16 by Anonymous?. See the history of this page for a list of all contributions to it.