summaryrefslogtreecommitdiff
Commit message (Expand)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
* 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
* 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
generated by cgit v1.2.3-70-g09d2 (git 2.48.1) at 2025-03-25 19:16:07 +0100