Yiyun Liu f402f4e528 Fix fp_red		2025-04-03 16:21:25 -04:00
..
Autosubst2	Start refactoring to unscoped syntax	2025-04-01 23:21:39 -04:00
compile.v	Add new syntax for booleans	2025-01-20 20:42:40 -05:00
diagram.txt	Rename the term constructors	2025-01-24 14:52:35 -07:00
fp_red.v	Fix fp_red	2025-04-03 16:21:25 -04:00
logrel.v	Refactor the equational theory to use the compile function	2025-01-20 20:11:51 -05:00
typing.v	Start refactoring to unscoped syntax	2025-04-01 23:21:39 -04:00