| Commit message (Collapse) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | WIP | Tom Smeding | 2024-09-04 | |
| | | ||||
| * | Inching towards drev of build | Tom Smeding | 2024-09-03 | |
| | | ||||
| * | 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 | |
| | | ||||
| * | Implement weakenExpr using subst | Tom Smeding | 2024-08-30 | |
| | | | | | This saves one traversal function. | |||
| * | Migrate to accumulators (mostly removing EVM code) | Tom Smeding | 2024-08-30 | |
| | | ||||
| * | Move some definitions from AST to Data | Tom Smeding | 2024-01-27 | |
| | | ||||
| * | Linear-time tape reconstruction | Tom Smeding | 2024-01-26 | |
| | | | | | A tutorial of the method here: https://play.haskell.org/saved/uHuGLfHZ | |||
| * | Getting further | Tom Smeding | 2024-01-25 | |
| | | ||||
| * | WIP in merge mode only return free variables | Tom Smeding | 2023-09-21 | |
| | | | | | The code typechecks and may well work, but is untested. | |||
| * | Storage policy (accum / merge) | Tom Smeding | 2023-09-21 | |
| | | ||||
| * | Examples with conditionals | Tom Smeding | 2023-09-20 | |
| | | ||||
| * | Stuff | Tom Smeding | 2023-09-19 | |
| | | ||||
| * | CHAD ops | Tom Smeding | 2023-09-16 | |
| | | ||||
| * | CHAD case | Tom Smeding | 2023-09-16 | |
| | | ||||
| * | CHAD let | Tom Smeding | 2023-09-10 | |
| | | ||||
| * | Initial | Tom Smeding | 2023-09-10 | |
