summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* rules: Attempt at merge/accum parameterised transformationevmTom Smeding2024-08-29
|
* Generalise freezeRet a little bitTom Smeding2024-08-29
|
* Type up some of the rules in LaTeXTom Smeding2024-08-29
|
* Add missing importTom Smeding2024-02-15
|
* Ramblings in CompileTom Smeding2024-01-27
|
* Move some definitions from AST to DataTom Smeding2024-01-27
|
* Less default caseTom Smeding2024-01-27
|
* Linear-time tape reconstructionTom Smeding2024-01-26
| | | | A tutorial of the method here: https://play.haskell.org/saved/uHuGLfHZ
* Embrace the PartialTypeSignaturesTom Smeding2024-01-25
|
* Finish rewriteTom Smeding2024-01-25
|
* Getting furtherTom Smeding2024-01-25
|
* More stuffTom Smeding2024-01-25
|
* WIP rewrite code transform typingTom Smeding2024-01-24
|
* Better modularity in subenv stuffTom Smeding2023-09-22
|
* WIP in merge mode only return free variablesTom Smeding2023-09-21
| | | | The code typechecks and may well work, but is untested.
* Add invocation example to Example.hsTom Smeding2023-09-21
|
* Pretty print let bindings in do notationTom Smeding2023-09-21
|
* Storage policy (accum / merge)Tom Smeding2023-09-21
|
* WIP mixed environment descriptionTom Smeding2023-09-21
|
* Examples with conditionalsTom Smeding2023-09-20
|
* StuffTom Smeding2023-09-19
|
* Pretty printTom Smeding2023-09-16
|
* CHAD opsTom Smeding2023-09-16
|
* CHAD caseTom Smeding2023-09-16
|
* CHAD letTom Smeding2023-09-10
|
* InitialTom Smeding2023-09-10