macrotypefunctors typed-module-lang issues - Githubissues

macrotypefunctors / typed-module-lang

Prototype language with simple types, modules and functors

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

sealing type aliases into opaque types with instances

#3 AlexKnauth opened 6 years ago
6
Nested modules and 'with'

#2 iitalics closed 6 years ago
4
core lang: Add newtype for recursive types

#1 AlexKnauth opened 6 years ago
6