gitlab.math.univ-paris-diderot.fr / petrucciani
petrucciani/setvariants
Prototype implementation of a mini-ML language with polymorphic variants and pattern matching using set-theoretic types.
Last synced at: about 1 year ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0