Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | rules: Attempt at merge/accum parameterised transformationevm | Tom Smeding | 2024-08-29 |
| | |||
* | Generalise freezeRet a little bit | Tom Smeding | 2024-08-29 |
| | |||
* | Type up some of the rules in LaTeX | Tom Smeding | 2024-08-29 |
| | |||
* | Add missing import | Tom Smeding | 2024-02-15 |
| | |||
* | Ramblings in Compile | Tom Smeding | 2024-01-27 |
| | |||
* | Move some definitions from AST to Data | Tom Smeding | 2024-01-27 |
| | |||
* | Less default case | 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 | ||
* | Embrace the PartialTypeSignatures | Tom Smeding | 2024-01-25 |
| | |||
* | Finish rewrite | Tom Smeding | 2024-01-25 |
| | |||
* | Getting further | Tom Smeding | 2024-01-25 |
| | |||
* | More stuff | Tom Smeding | 2024-01-25 |
| | |||
* | WIP rewrite code transform typing | Tom Smeding | 2024-01-24 |
| | |||
* | Better modularity in subenv stuff | Tom Smeding | 2023-09-22 |
| | |||
* | WIP in merge mode only return free variables | Tom Smeding | 2023-09-21 |
| | | | | The code typechecks and may well work, but is untested. | ||
* | Add invocation example to Example.hs | Tom Smeding | 2023-09-21 |
| | |||
* | Pretty print let bindings in do notation | Tom Smeding | 2023-09-21 |
| | |||
* | Storage policy (accum / merge) | Tom Smeding | 2023-09-21 |
| | |||
* | WIP mixed environment description | 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 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 |