int main()
{
- setbuf(stdout, NULL);
int r = yyparse();
yylex_destroy();
return r;
struct lambda *t = $1;
printf(" ");
for(unsigned int i = 0; i<999; i++)
- if(!lambda_reduce(&t, &t, true))
+ if(!lambda_reduce(&t, &t, false))
break;
lambda_print(t, NULL);
putchar('\n');