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 /inky.ipkg | |
| parent | b2d6c85d420992270c37eba055cdc3952985c70e (diff) | |
Introduce names in contexts.
Introduce rows for n-ary sums and products.
Remove union types.
Diffstat (limited to 'inky.ipkg')
| -rw-r--r-- | inky.ipkg | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -9,6 +9,7 @@ depends = contrib modules = Data.Maybe.Decidable , Data.These.Decidable + , Inky.Context , Inky.Parser , Inky.Term , Inky.Term.Pretty |