/FunctionalTypeChecker

Type-checker for a functional language written in prolog

Primary LanguagePrologMIT LicenseMIT

Watchers