λ-calculus Parser (using LALRPOP)
use ExpressionParser;
let parser = new;
// Parse a single free variable.
let x = parser.parse;
// Parse the identity function.
let id = parser.parse;
// f ∘ g
let compose = parser.parse );
// Print the free variable in this expression.
let unbound_y = parser.parse;
println!;
// No need for parsing strings at all.
let id = λ!;
let one = λ!;
// Identity application.
let id = λ!;
println!;
// Make the Y combinator.
let ω = parser.parse;
let Ω = parser.parse;
let W = parser.parse;
let Y = parser.parse;