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 |
| | |||
* | WIP mixed environment description | Tom Smeding | 2023-09-21 |
| | |||
* | Examples with conditionals | Tom Smeding | 2023-09-20 |
| | |||
* | Pretty print | Tom Smeding | 2023-09-16 |
| | |||
* | 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 |