/lcti

Lambda Calculus Type Inferrer

Primary LanguageHaskell

No issues in this repository yet.