Polytypes - Githubissues

alcides / aeon

Aeon programming language

https://alcides.github.io/aeon/

8 stars 3 forks source link

Polytypes #16

Open alcides opened 11 months ago

alcides commented 11 months ago

Introduces Type Constructors (such as List Int)

[x] Type Constructor Syntax
[ ] Type Definition Syntax
[ ] Type Definition Context extension
[x] Subtyping
[x] Polarities

Closes #13 when done.