| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | WIP | Tom Smeding | 2024-09-04 |
| | | |||
| * | WSwap needs no env singleton | Tom Smeding | 2024-09-02 |
| | | |||
| * | Code cleanup, and OverloadedLabels for LSeg | Tom Smeding | 2024-09-02 |
| | | |||
| * | Autoweak! | Tom Smeding | 2024-09-02 |
| | | |||
| * | WIP autoWeak | Tom Smeding | 2024-09-02 |
| | | |||
| * | WIP Build1 | Tom Smeding | 2024-08-30 |
| | | |||
| * | Style | Tom Smeding | 2024-08-30 |
| | | |||
| * | Migrate to accumulators (mostly removing EVM code) | Tom Smeding | 2024-08-30 |
| | | |||
| * | Linear-time tape reconstruction | Tom Smeding | 2024-01-26 |
| | | | | | A tutorial of the method here: https://play.haskell.org/saved/uHuGLfHZ | ||
| * | Finish rewrite | Tom Smeding | 2024-01-25 |
| | | |||
| * | Getting further | Tom Smeding | 2024-01-25 |
| | | |||
| * | WIP rewrite code transform typing | Tom Smeding | 2024-01-24 |
| | | |||
| * | CHAD case | Tom Smeding | 2023-09-16 |
 |
index : chad-fast | |
| [no description] | git daemon user |
| aboutsummaryrefslogtreecommitdiff |