summaryrefslogtreecommitdiff
path: root/src/CHAD.hs
Commit message (Expand)AuthorAge
* WIP in merge mode only return free variablesTom Smeding2023-09-21
* 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