The Lambda Calculus in Python
Python
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
README
thelambda.py

README

#PyLambda

This is just a file with all the definitions of the λ-calculus from my blog:
http://blog.errstr.com