[lamcal-repl] is a [Lambda Calculus] REPL command line application written in [Rust]. It can be used to play around with lambda calculus expressions interactively.
This application is inspired by this talk by [glebec] where he plays around with lambda calculus in a JavaScript console.
[lamcal-repl] uses the [lamcal] library crate for the lambda calculus functionality and adds
the REPL things to make it an application. The name of the executable is lamcali.
To install the [lamcal-repl] command line application run the following commands in your terminal:
```
cargo install lamcal-repl ```
After it has been installed successfully we can run [lamcal-repl] by typing the name of the executable:
```
lamcali ```
Alternatively we can clone this git repository, go to the repl subdirectory and type cargo run,
like so
```
cd lamcal/repl lamcal/repl> cargo run ```
When the application starts we see the following in the command line:
info: Welcome to lamcal-repl, the Lambda Calculus Repl, version 0.1.0
λ>
Notice that the command line prompt changes to λ>. To evaluate a lambda expression we simple type
in the expression at the prompt, like so:
λ> (\x.(\y.x y) a) b
After pressing enter, the expression gets parsed and the default α-conversion and β-reduction is applied. The result is printed to the console, like so:
λ> (\x.(\y.x y) a) b
b a
We can use the backslash character \ or the greek lowercase lambda λ to denote a lambda abstraction with a lambda expressions. The parser understands both backslash as well as the lowercase lambda symbol as the start of an abstraction.
The repl support commands to control the behavior of the application. Commands always start with a colon. Most important commands are:
:h or :help to print out help information:q or :quit to quit the applicationA list of all implemented commands is given in the help information (command :h).
Licensed under Apache License, Version 2.0
see [LICENSE] or http://www.apache.org/licenses/LICENSE-2.0 for details.
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be licensed as above, without any additional terms or conditions.