Simple Type Lambda

entrypoints Program;
Prog. Program::=[Def];separator Def ";" ;
TermDef. Def::= Term;

AbsTerm. Term::= "lambda" Ident "." Term;

AppTerm. Term1::=Term1 Term2;

IdTerm. Term2::= Ident;

coercions Term 2;

pl
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License