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 packages lambda_calculus
and lark 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
λ import SUCC = lambda_calculus.terms.arithmetic.SUCCESSOR
λ aliases
I = (λx.x)
K = (λx.(λy.x))
SUCC = (λn.(λf.(λx.(f ((n f) x)))))
λ trace K a b
β ((λy.a) b)
β a
λ exit
Exiting REPL...
1 maintainer
Metadata
1 maintainer
Release files for lambda-repl 1.2.1
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| lambda_repl-1.2.1.tar.gz | 11.1 MB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| lambda_repl-1.2.1-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 11.1 MB
Release files / lambda_repl-1.2.1.tar.gz
| Download URL | lambda_repl-1.2.1.tar.gz |
|---|---|
| Size | 11.1 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
a5e609968bedabab59f60ce952a8cffee82e33ee6301b7b0fe2bcb95d09723d3
|
|
BLAKE2b-256 checksum How to use checksums |
b87dff10ffdbe815c49fb33f0c514ba8edf1362b0862bcc212dab0b44aefc741
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.13.12
|
Release files / lambda_repl-1.2.1-py3-none-any.whl
| Download URL | lambda_repl-1.2.1-py3-none-any.whl |
|---|---|
| Size | 19.5 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
f73b73af547a1ec5b0f2437dc6be13167d624f611a929873012ec2006cc52fdc
|
|
BLAKE2b-256 checksum How to use checksums |
38337a85bfa52cb0a436583e5fbd5c38d6847cdeebfeced1dcecf985d6980a93
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.13.12
|
