Type inference for simply-typed lambda calculus
Primary LanguageHaskell
This repository is not active