Toy language project (typed lambda calculus)
Primary LanguageHaskellMIT LicenseMIT
No issues in this repository yet.