Michael Zhang 7ebaf615b0 the cubical stuff		2024-08-15 04:40:01 -05:00
..
CubicalHott	the cubical stuff	2024-08-15 04:40:01 -05:00
HottBook	wip	2024-08-05 11:17:04 -04:00
HoTTEST/Agda	exercises	2024-07-18 11:51:40 -05:00
MayConcise	add hottest material	2024-06-17 10:59:52 -04:00
Misc	move old shit	2024-05-23 09:53:45 -05:00
VanDoornDissertation	wip	2024-08-09 04:55:32 -05:00
CEKCoinductive.agda	test	2024-07-02 22:11:27 -05:00
Hurewicz.agda	test	2024-07-02 22:11:27 -05:00