Michael Zhang 890485ab2e replace more usage of J with just refl pattern matching		2024-05-31 20:27:41 -05:00
..
CubicalHott	waht	2023-12-22 10:20:33 -06:00
HottBook	replace more usage of J with just refl pattern matching	2024-05-31 20:27:41 -05:00
MayConcise	2.11.2 - 2.11.4	2024-05-30 14:10:38 -05:00
Misc	move old shit	2024-05-23 09:53:45 -05:00
VanDoornDissertation	make it error-less	2024-05-30 16:54:04 -05:00