lmbd 0.1.4

A macro that computes everything at compile time.Based on lambda calculus.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25




lambda!(zero =  {x}f x);

lambda!(one =  {f,x}f x);

lambda!(add1 = {f, (n , f , x) }n f x );

lambda!(two = add1 , one);

lambda!(add = {a , add1 , b} add1 a b , add1);




#[cfg(test)]
mod tests {
    use crate::*;
    #[test]
    fn it_works() {
        assert_eq!(lambda!(to_str,zero),"lambda! [{ x } f x] ;");
        assert_eq!(lambda!(to_str,one) ,"lambda! [{ f, x } f x] ;");
    }
}