/system-f-type-checker

System-F type-checker written in Haskell

Primary LanguageHaskell

Stargazers