Комбинаторы — это просто!: различия между версиями
Содержимое удалено Содержимое добавлено
mathbf лишний в тэгах code |
|||
Строка 163:
deriving Eq</code>
Это определение полностью соответствует математическому, которое гласит, что комбинаторный терм — это либо переменная (<code>Var</code> — от английского слова «variable»), либо абстракция (<code>Lam</code>
приложение одного комбинаторного терма к другому (<code>App</code> — от английского слова «application»).
| |||