F# implementation of a type inference system for the core of ML
Primary LanguageF#GNU General Public License v3.0GPL-3.0