| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| evm | rules: Attempt at merge/accum parameterised transformation | Tom Smeding | 7 months | |
| hashable-gadt | Some non-working code lol | Tom Smeding | 4 weeks | |
| master | test fwd: test with simplified expression | Tom Smeding | 8 days | |
| test-catch-exc | WIP exception catching in test-framework | Tom Smeding | 8 days | |
| test-compile-chad | Compile: More checks | Tom Smeding | 3 days | |
| Age | Commit message | Author | ||
| 2024-08-29 | rules: Attempt at merge/accum parameterised transformationevm | Tom Smeding | ||
| 2024-08-29 | Generalise freezeRet a little bit | Tom Smeding | ||
| 2024-08-29 | Type up some of the rules in LaTeX | Tom Smeding | ||
| 2024-02-15 | Add missing import | Tom Smeding | ||
| 2024-01-27 | Ramblings in Compile | Tom Smeding | ||
| 2024-01-27 | Move some definitions from AST to Data | Tom Smeding | ||
| 2024-01-27 | Less default case | Tom Smeding | ||
| 2024-01-26 | Linear-time tape reconstruction | Tom Smeding | ||
| 2024-01-25 | Embrace the PartialTypeSignatures | Tom Smeding | ||
| 2024-01-25 | Finish rewrite | Tom Smeding | ||
| [...] | ||||
 |
index : chad-fast | |
| [no description] | git daemon user |
| summaryrefslogtreecommitdiff |