lambda_calc
| Crates.io | lambda_calc |
| lib.rs | lambda_calc |
| version | 2.2.2 |
| source | src |
| created_at | 2019-10-14 03:10:06.9008 |
| updated_at | 2020-06-15 03:32:31.337815 |
| description | A command-line untyped lambda calculus interpreter. |
| homepage | |
| repository | https://gitlab.com/mcmfb/lambda-calculator |
| max_upload_size | |
| id | 172323 |
| size | 198,092 |
(mcmfb)
documentation
README
An untyped lambda calculus interpreter.
It has several useful features:
-
Has support for the usual implicit parenthesization rules of lambda calculus
- See the documentation for the
parsefunction on here).
- See the documentation for the
-
Highlights the expression reduced last at each beta reduction step
- (Can be disabled.)
-
Allows bind lambda terms to symbols (definitions)
-
Lazy symbol substitution
-
Allows recursive definitions
-
-
Has context-sensitive TAB completion, matching brace highlighter, and history support (thanks to rustyline).
-
Allows escaping line breaks with
&- The line will be saved to history as a single line.
-
Has a non-interactive mode whose output is in a can be easily parsed by scripts
-
Allows counting the number of reduction steps
...along with many other features; run with --help for more.
Screenshots
Installation
Install cargo if you don't have it, then run
$ cargo install lambda_calc
This will install the lambda_calc binary.
Opitonally, you may use the --root option to install to a different directory;
run man cargo-install for details.