/lcti

Lambda Calculus Type Inferrer

Primary LanguageHaskell

Stargazers