| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| evm | rules: Attempt at merge/accum parameterised transformation | Tom Smeding | 8 months | |
| hashable-gadt | Some non-working code lol | Tom Smeding | 2 months | |
| master | Reorder TLEither to after TEither | Tom Smeding | 6 days | |
| test-catch-exc | WIP exception catching in test-framework | Tom Smeding | 7 weeks | |
| Age | Commit message | Author | ||
| 6 days | Reorder TLEither to after TEitherHEADmaster | Tom Smeding | ||
| 6 days | simplify: Better simplify nested monoid ops | Tom Smeding | ||
| 6 days | pretty: Print types of monoid ops | Tom Smeding | ||
| 6 days | Simplify: Don't forget about effects -.- | Tom Smeding | ||
| 6 days | Tracing simplifier | Tom Smeding | ||
| 6 days | test-framework: Support --hedgehog-shrinks | Tom Smeding | ||
| 6 days | Complete monoidal accumulator rewrite | Tom Smeding | ||
| 7 days | WIP interpreter support for new monoidal accumulators | Tom Smeding | ||
| 8 days | WIP revamp accumulators again: explicit monoid types | Tom Smeding | ||
| 10 days | simplify: Additional rules inspired by Example.neural | Tom Smeding | ||
| [...] | ||||
 |
index : chad-fast | |
| [no description] | git daemon user |
| summaryrefslogtreecommitdiff |