Floris van Doorn 5333dcfa02 remove print command in hott/init		2018-01-25 17:33:42 -05:00
..
init	remove print command in hott/init	2018-01-25 17:33:42 -05:00
.gitignore	chore(.gitignore): update	2015-03-28 23:29:41 -04:00
.project	feat(*): add support for separate HoTT library	2014-12-05 14:34:02 -08:00
book.md	feat(category.pushout): finish universal property of pushout	2016-09-17 17:05:46 -04:00
hott.md	chore(hott): update default files and some markdown files	2016-07-09 10:20:21 -07:00
naming_conventions.md	feat(pointed): make the naming in the pointed library more consistent.	2016-09-22 16:00:27 -04:00
port.md	feat(nat/div): port to HoTT library	2016-03-03 10:13:20 -08:00