Skip to content

GitLab

Explore

Sign in

S

setvariants

Project information

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

123 Commits
8 Branches
0 Tags

README
CeCILL-B Free Software License Agreement

Created on

April 07, 2016

Copy SSH clone URLgit@gitlab.math.univ-paris-diderot.fr:petrucciani/setvariants.git
Copy HTTPS clone URLhttps://gitlab.math.univ-paris-diderot.fr/petrucciani/setvariants.git