Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Inching towards drev of build | Tom Smeding | 2024-09-03 | |
| | ||||
* | autoWeak: Handle closed source environments | Tom Smeding | 2024-09-03 | |
| | ||||
* | accumPromote | Tom Smeding | 2024-09-02 | |
| | ||||
* | 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 | |
| | ||||
* | Add missing import | Tom Smeding | 2024-02-15 | |
| | ||||
* | 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 | |
| | ||||
* | Pretty print let bindings in do notation | Tom Smeding | 2023-09-21 | |
| | ||||
* | Examples with conditionals | Tom Smeding | 2023-09-20 | |
| | ||||
* | Stuff | Tom Smeding | 2023-09-19 | |
| | ||||
* | Pretty print | Tom Smeding | 2023-09-16 | |
| | ||||
* | CHAD case | Tom Smeding | 2023-09-16 | |