implementation for various (mostly for untyped) lambda calculus
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
unlambda_ruby
.gitignore
README.md
lambda_calculus.py
lazy_k_buggy.ml
system_F.ml
unlambda.py

README.md

implementation for various (mostly for untyped) lambda calculus