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 | 9 days | |
test-catch-exc | WIP exception catching in test-framework | Tom Smeding | 3 months | |