Викиучебник

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

Интерактивная навигация по истории
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
Строка 550:
Эти селекторы можно определить так:
 
head <math>\equiv</math> CI true
tail <math>\equiv</math> CI false
Эти комбинаторы «вынимают» первое или второе значение из
Строка 557:
выражение:
 
<math>head pair <math>x</math> <math>y = x</math>
 
для любого выражения <math>x</math>. Тоже самое можно сказать и о
Источник — https://ru.wikibooks.org/wiki/Комбинаторы_—_это_просто!