Изменения
Нет описания правки
Expression \to Application\ \lambda\ Variable\ .\ Expression\ |\ \lambda\ Variable\ .\ Expression\\
Expression \to Application\\
Application \to Application\ @Unary\ |\ Unary\\
Unary \to '('\ Expression\ ')'\ |\ Variable\\
Variable \to Char+\\
</tex>
@ - так обычно обозначается пробел.
}}
