Комбинаторы — это просто!: различия между версиями

Содержимое удалено Содержимое добавлено
mathbf лишний в тэгах code
Строка 214:
(Var "z")))))</code>
 
Если передать это определение функции <code>transform</code>, то на выходе будет такая конструкция: <code>S(S(KS)(S(KK)(S(KS)(S(KK)I))))(K(S(S(KS)(S(KK)I))(\mathbf{KI})))</code>!
 
== Представление данных и функций ==