Изменения

& || & \langle Term \rangle \langle Term \rangle \\ & || & \lambda \langle Variable \rangle \to \langle Term \rangle\\ & || & ( \langle Term \rangle )\\

\subsection{===Списки}===

\begin* <tex>empty</tex> {{itemize} \item $empty$~--- }} возвращает пустой список \item $* <tex>cons$~</tex> {{--- }} принимает первый элемент и оставшийся список, склеивает их \item $* <tex>head$~</tex> {{--- }} вернуть голову списка \item $* <tex>tail$~</tex> {{--- }} вернуть хвост списка\end{itemize}

Список будем хранить в следующем виде: $<tex>\langle len, p_1^{a_1}p_2^{a_2}\ldots p_{len}^{a_{len}} \rangle$</tex>. При этом, голова списка будет храниться как показатель степени при $<tex>p_{len}$</tex>. <tex>\operatorname{empty} = \operatorname{pair}\ \operatorname{zero}\ \bar 1</tex> <tex>\operatorname{cons} = \lambda h \to \lambda t \to \operatorname{pair}\ (\operatorname{succ}\ (\operatorname{fst}\ t))\ (\operatorname{mult}\ (\operatorname{snd}\ t)\ (\operatorname{power}\ (\operatorname{ithPrime}\ (\operatorname{fst}\ t))\ h))</tex>