Help for this page
%token CONST %token VAR ... ; %%
#!/usr/bin/perl ... # \f.(\x.(f (\y.x x y))) (\x.(f (\y.x x y))) print $expr->()->(\&fac)->(5), "\n";