programming contest

Implement a lambda calculus evaluator in whatever language you choose.

I will pick the winner in one week based on undisclosed criteria.

##starts program
Pstart;
print = "welcome to the main menu! do you want to lambda?";
menu {4, if(not_pick; then return EMPTY)}(
(YES; then lambda);(NO; then not_pick);(INFO; then info);(EXIT; then not_pick);
escapefunction(not_pick AND info); end;);
{info}(print = "a program to labmda, made under GNU and BSD. 2014";end;);
Pend.



It's a bit messy, but should do the job alright.