Age | Commit message (Expand) | Author |
---|---|---|
2025-06-25 | Rename labels to be more consistent. | Chloe Brown |
2025-06-25 | Fix 380--382. | Chloe Brown |
2025-06-25 | Fix equational theory. | Chloe Brown |
2025-06-25 | Fix map syntax. | Chloe Brown |
2025-06-25 | Fix 336--362. | Chloe Brown |
2025-06-25 | Fix 326--336. | Chloe Brown |
2025-06-25 | Fix figures 4 and 5. | Chloe Brown |
2025-06-25 | Fix 315--325. | Chloe Brown |
2025-06-25 | Fix 283--310. | Chloe Brown |
2025-06-19 | Fix missing character warning. | Chloe Brown |
2025-05-20 | Revise Core Language. | Chloe Brown |
2025-05-06 | Change signature of `\casetm`. | Chloe Brown |
2025-04-23 | Current state of affairs. | Chloe Brown |
2025-03-25 | Before the big rewrite | Chloe Brown |