lalrpop-lambda 0.6.1

A λ-calculus grammar writting with LALRPOP.
1
2
3
4
5
6
7
8
9
#![feature(box_syntax)]

#[macro_use]
extern crate lalrpop_lambda;

fn main() {
    dbg!(app!(abs!{x.app!(x,y)}, abs!{y.app!(x,y)}).free_variables());
    dbg!(app!(abs!{f.abs!{x.app!(f,x)}}, abs!{x.x}).free_variables());
}