| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | WIP revamp accumulators again: explicit monoid types | Tom Smeding | 2025-04-27 |
| * | idana: Unify in either fallback case | Tom Smeding | 2025-04-21 |
| * | Populate accumMap | Tom Smeding | 2025-04-06 |
| * | Pass around an accumMap (but it's empty still) | Tom Smeding | 2025-03-28 |
| * | Commutativity marker on fold1i | Tom Smeding | 2025-03-20 |
| * | Much process with accumulator revamp | Tom Smeding | 2025-03-14 |
| * | idana: Cleanup | Tom Smeding | 2025-03-07 |
| * | idana: Track array shapes | Tom Smeding | 2025-03-07 |
| * | Pretty-printer that supports extension fields | Tom Smeding | 2025-01-28 |
| * | Complete identity analysis | Tom Smeding | 2025-01-27 |
| * | Add ext field to remaining AST constructors | Tom Smeding | 2025-01-27 |
| * | WIP identity analysis | Tom Smeding | 2025-01-20 |
 |
index : chad-fast | |
| [no description] | git daemon user |
| aboutsummaryrefslogtreecommitdiff |