| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| evm | rules: Attempt at merge/accum parameterised transformation | Tom Smeding | 9 months | |
| hashable-gadt | Some non-working code lol | Tom Smeding | 3 months | |
| master | Simplify: also down-commute projections into EMaybe | Tom Smeding | 6 days | |
| test-catch-exc | WIP exception catching in test-framework | Tom Smeding | 2 months | |
| Age | Commit message | Author | ||
| 6 days | Simplify: also down-commute projections into EMaybeHEADmaster | Tom Smeding | ||
| 6 days | Add AST.UnMonoid convenience repl import to Example | Tom Smeding | ||
| 6 days | ERecompute | Tom Smeding | ||
| 6 days | Print EMaybe as case | Tom Smeding | ||
| 6 days | Implement mapExt as travExt | Tom Smeding | ||
| 2025-05-06 | Compile: special-case to a single kernel function | Tom Smeding | ||
| 2025-04-29 | Reorder TLEither to after TEither | Tom Smeding | ||
| 2025-04-29 | simplify: Better simplify nested monoid ops | Tom Smeding | ||
| 2025-04-29 | pretty: Print types of monoid ops | Tom Smeding | ||
| 2025-04-29 | Simplify: Don't forget about effects -.- | Tom Smeding | ||
| [...] | ||||
 |
index : chad-fast | |
| [no description] | git daemon user |
| summaryrefslogtreecommitdiff |