Изменения

Expression \to Application\ \lambda\ Variable\ .\ Expression\ |\ \lambda\ Variable\ .\ Expression\\

Expression \to Application\\

Unary \to '('\ Expression\ ')'\ |\ Variable\\

Variable \to Char+\\

</tex>

}}