lambda-repl 1.1.0

REPL for the lambda calculus

lambda_repl

The lambda_repl package contains a REPL for the lambda calculus.

To use it, execute lambda-repl or python3 -m lambda_repl and enter commands.

Requirements

Python >= 3.10 and the lambda_calculus package are required to use this package.

Installation

python3 -m pip install lambda-repl

Examples

python3 -m lambda_repl
Welcome to the the Lambda REPL, type 'help' for help
λ alias I = \x.x
λ alias K = λx.λy.x
λ aliases
I = (λx.x)
K = (λx.(λy.x))
λ trace K a b
β ((λy.a) b)
β a
λ exit
Exiting REPL...