Изменения

Лямбда-исчисление

10 байт убрано, 01:16, 12 января 2015

Нет описания правки

\Lambda \to A\ \lambda\ V\ .\ \Lambda\ |\ \lambda\ V\ .\ \Lambda\\

\Lambda \to A\\

~~Application~~ A \to A@Unary\ |\ Unary\\

Unary \to '('\ \Lambda\ ')'\ |\ V\\

V \to Char+\\

Анонимный участник