REPL for the lambda calculus
Project description
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...
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
lambda_repl-1.0.0.tar.gz
(17.6 kB
view hashes)
Built Distribution
Close
Hashes for lambda_repl-1.0.0-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 74c522f5131ba9e36855a19e84a57dfce257909a37f5029ba72c19c59e24aa10 |
|
MD5 | d47612c33ee871f26c17f8cba6d7a5ee |
|
BLAKE2b-256 | cd09fd011a376153e8e033add142a9536739ce4a4f4b470b498b6bbeefe0f414 |