lambdascript 0.2.2

Educational tool illustrating beta reduction of typed and untyped lambda terms, parser generation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
// training the parser
//
//
//
(lambda x.x));   //5
lambada x.s;     //6
a lambda x.x;    //7
define I lambda x.x;  // 8
(lambda x x) y; //9
Liang a b;  //10
a Liang; //11
lambda LIANG.sucks; //12
(lambda x.x x) Liang; //13
(lambda x.x) I   //14
define Liang = badass; //15
(lamba x.x) I  //15