Homotopy Type Theory desired articles > history (Rev #38, changes)

Showing changes from revision #37 to #38: Added | Removed | Changed

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.