/lambda-dti

Interpreter of the ITGL with dynamic type inference

Primary LanguageOCamlMIT LicenseMIT

Watchers