|
|
5eb1f9df0b
|
Make progress on wt_unique
|
2025-04-03 23:20:49 -04:00 |
|
|
|
3b8fe388dc
|
Make the internal language even smaller
|
2025-04-03 21:18:17 -04:00 |
|
|
|
1f7460fd11
|
Add new syntax for booleans
|
2025-01-20 20:42:40 -05:00 |
|
|
|
36427daa61
|
Refactor the equational theory to use the compile function
|
2025-01-20 20:11:51 -05:00 |
|
|
|
7850314935
|
Add stub for par compile
|
2025-01-20 16:49:47 -05:00 |
|
|
|
9c9ce52b63
|
Recover the contra lemmas
|
2025-01-20 16:28:44 -05:00 |
|
|
|
d68df5d0bc
|
Add compile
|
2025-01-20 15:33:46 -05:00 |
|
