Implements a type checker for a subset of https://www.cs.cornell.edu/andru/papers/gallifrey-types/.
Primary LanguageHaskell