Commit message (Expand) | Author | Age | |
---|---|---|---|
* | D2[Array] now has a Maybe instead of zero-size for zero | Tom Smeding | 3 days |
* | Commutativity marker on fold1i | Tom Smeding | 9 days |
* | Much process with accumulator revamp | Tom Smeding | 2025-03-14 |
* | WIP revamp accumulator projection type repr | Tom Smeding | 2025-03-14 |
* | UnMonoid: Properly recurse | Tom Smeding | 2025-02-25 |
* | Add ext field to remaining AST constructors | Tom Smeding | 2025-01-27 |
* | UnMonoid | Tom Smeding | 2024-12-06 |
* | WIP UnMonoid (to be used for compiling to C) | Tom Smeding | 2024-12-06 |