diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2024-09-17 17:09:41 +0100 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2024-09-17 17:09:41 +0100 |
| commit | 974717f0aa46bb295d44e239594b38f63f39ceab (patch) | |
| tree | 73eaa9501f4c79328d98bf5257529d8495f6c756 /src/Inky/Term/Parser.idr | |
| parent | b2d6c85d420992270c37eba055cdc3952985c70e (diff) | |
Introduce names in contexts.
Introduce rows for n-ary sums and products.
Remove union types.
Diffstat (limited to 'src/Inky/Term/Parser.idr')
0 files changed, 0 insertions, 0 deletions