Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Pass around an accumMap (but it's empty still) | Tom Smeding | 3 days |
| | |||
* | Commutativity marker on fold1i | Tom Smeding | 11 days |
| | |||
* | 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 |