implementation of simply typed lambda calculus (someday with dependent types)
Primary LanguageHaskell
Source:https://www.andres-loeh.de/LambdaPi/LambdaPi.pdf