GitHub - petdomaa100/simply-typed-lambda-calculus: Simply Types Lambda Calculus implemented in Haskell. · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
TODO.md		TODO.md
main.hs		main.hs

About

Simply Types Lambda Calculus implemented in Haskell.

Report repository

Contributors

Languages

Haskell 100.0%