Skip to main content

REPL for the lambda calculus

Project description

lambda_repl

Tests codecov

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...

Project details


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.2.0.tar.gz (20.5 kB view details)

Uploaded Source

Built Distribution

lambda_repl-1.2.0-py3-none-any.whl (19.6 kB view details)

Uploaded Python 3

File details

Details for the file lambda_repl-1.2.0.tar.gz.

File metadata

  • Download URL: lambda_repl-1.2.0.tar.gz
  • Upload date:
  • Size: 20.5 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.1 CPython/3.11.3

File hashes

Hashes for lambda_repl-1.2.0.tar.gz
Algorithm Hash digest
SHA256 b017b82e286c48d12f98891cd77d881f355f49d29b29867b72544bc51ce41f57
MD5 9d2a92a3ab66b7f5b21a5d466a8730d4
BLAKE2b-256 3094cc33a47c1d4767ae2b90d89eae774a4f9789945b7d40ef8bf41772bbf179

See more details on using hashes here.

File details

Details for the file lambda_repl-1.2.0-py3-none-any.whl.

File metadata

  • Download URL: lambda_repl-1.2.0-py3-none-any.whl
  • Upload date:
  • Size: 19.6 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.1 CPython/3.11.3

File hashes

Hashes for lambda_repl-1.2.0-py3-none-any.whl
Algorithm Hash digest
SHA256 61b4e3265baecc2e3263f4eedeaeef124639a2a460e250cbebd38e702c36a549
MD5 3055b40015599e4ecdc7e71fd21f76e5
BLAKE2b-256 c3df376cc70eab838e9c884a82c0c85a5eae43453c98aa5f36b0eaf0ebd47e46

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page