easy_lambda_calculus 1.0.2

Simple and easy to write lambda calculus
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

use easy_lambda_calculus::*;

//code to evaluate and(true, true)
fn main() {
    /*let t = lambda!("%x|y.x"); //true
    let f = lambda!("%x|y.y"); //false
    let a = lambda!("%x|y.(x y) &{}", f); //and
    let res = lambda!("({} &{}) &{}", a, t.clone(), t); //and(true, true)
    println!("{}", res.evaluate());*/
    let l = lambda!("(%x.&(%x.&(%x.x))) &(%x.x)");
    println!("{}", l.evaluate());
}
//outputs (%x|y.x) which is equivalent to true