// 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