λ-calculus in Python
Primary LanguagePythonThe UnlicenseUnlicense
Expressions from lambda and SKI combinator calculi, in Python