Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | WIP in merge mode only return free variables | Tom Smeding | 2023-09-21 | |
| | | | | The code typechecks and may well work, but is untested. | |||
* | Storage policy (accum / merge) | Tom Smeding | 2023-09-21 | |
| | ||||
* | Examples with conditionals | Tom Smeding | 2023-09-20 | |
| | ||||
* | Stuff | Tom Smeding | 2023-09-19 | |
| | ||||
* | 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 | |