WIP: A simple type inference implementation in Purescript for untyped lambda calculus
Primary LanguagePureScript