/lambda-calculus

λ haskell python ...

Primary LanguagePython

lambda-calculus

Z = λg. (λr. g (λy. r r y)) (λr. g (λy. r r y))