An implementation of a small strongly-typed functional language with parametric polymorphism, pattern-matching, and general recursion.
Primary LanguageOCaml