summaryrefslogtreecommitdiff
path: root/src/CHAD.hs
Commit message (Collapse)AuthorAge
* WIP in merge mode only return free variablesTom Smeding2023-09-21
| | | | The code typechecks and may well work, but is untested.
* Storage policy (accum / merge)Tom Smeding2023-09-21
|
* WIP mixed environment descriptionTom Smeding2023-09-21
|
* Examples with conditionalsTom Smeding2023-09-20
|
* Pretty printTom Smeding2023-09-16
|
* CHAD opsTom Smeding2023-09-16
|
* CHAD caseTom Smeding2023-09-16
|
* CHAD letTom Smeding2023-09-10
|
* InitialTom Smeding2023-09-10