A binary λ-calculus (BLC) interpreter written only in Python lambdas.
Primary LanguagePythonMIT LicenseMIT