petrucciani/setvariants

Prototype implementation of a mini-ML language with polymorphic variants and pattern matching using set-theoretic types.

Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0