lambda_calculus 0.1.6

A simple implementation of the untyped lambda calculus in Rust.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

# 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://docs.rs/lambda_calculus)


## Status


The library is already usable, but it is still a work in progress.

## Roadmap


- additional test cases and examples
- a parser for lambda expressions with De Bruijn indices