Artefact for "Developing a Monadic Type Checker for an Object-Oriented Language"
Primary LanguageHaskellMIT LicenseMIT