The untyped lambda-calculus is implemented here using De Bruijn indexes. The evaluation strategy is call-by-value.
| Syntax | Evaluation Rules (call-by-value) |
|---|---|
 |
 |
The project is configured with stack. Here are some useful commands:
# Build the project.
stack build
# Run the test suite.
stack test
# Fire up the lambda calculus interpreter.
stack exec untypedlambda