# lambda_calculus
**lambda_calculus** is a simple implementation of the untyped lambda calculus in Rust.
The data and operators follow the Church encoding and the terms are displayed using De Bruijn indices.
## [Documentation](https://ljedrz.github.io/lambda_calculus/doc/lambda_calculus/index.html)
## Status
The library is already usable, but it is still a work in progress.
## Roadmap
- additional test cases and examples
- a module with SKI combinators
- a parser for lambda expressions with De Bruijn indices