lalrpop-lambda 0.6.1

A λ-calculus grammar writting with LALRPOP.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

#![feature(box_syntax)]

#[macro_use]
extern crate lalrpop_lambda;

use lalrpop_lambda::Expression;

fn main() {
    let two = abs!{f.abs!{x.app!(var!(f), app!(var!(f), var!(x)))}};
    println!("{}", two(var!(x))(var!(x)));
    println!("{}", var!(x)(var!(y)));
    println!("{}", app!(var!(x),var!(y))(var!(z)));

    println!("{:?}", λ!{x.x}(1));

    let id: fn(u64) -> u64 = |x| x;
    println!("{}", Expression::from(id));
    let f = <fn(u64) -> u64>::from(abs!{x.x});
    println!("{}", Expression::from(f));
}