A very simple implementation of Lambda-calculus in Python.