Комбинаторы — это просто!: различия между версиями
Содержимое удалено Содержимое добавлено
Строка 279:
#<math>\mathbf{T}[(E_{1}E_{2})] \Rightarrow (\mathbf{T}[E_{1}]\mathbf{T}[E_{2}])</math>.
#<math>\mathbf{T}[\lambda x.x] \Rightarrow \mathbf{I}</math>.
#<math>\mathbf{T}[\lambda x.
#<math>\mathbf{T}[\lambda x.\lambda y.E] \Rightarrow \mathbf{T}[\lambda x.\mathbf{T}[\lambda y.E]]
#<math>\mathbf{T}[\lambda x.(E_{1}E_{2})] \Rightarrow \mathbf{S} \mathbf{T}[\lambda x.E_{1}] \mathbf{T}[\lambda x.E_{2}]</math>
|