In mathematical logic and computer science, lambda calculus, also λ-calculus, is a formal system.
It was introduced by Alonzo Church and Stephen Cole Kleene in the 1930s. Church used lambda calculus in 1936 to give a negative answer to the Entscheidungsproblem.
This repository contains lambdas with implemented lambdas and tests with pytest-based tests for it.
Implemented:
- Boolean operations
- Natual numbers
- Pairs
- Combinators
- Recursive functions
- Lists