3622
правки
Изменения
м
* pair = \ x y p . p x y* fst = \ r . r (\ x y . x)* snd = \ r . r (\ x y . y)* fix = \ f . (\ x . f (x x)) (\ x . f (x x))
→E0. Определить примитивные конструкции
== E0. Определить примитивные конструкции ==
Легко проверить, что fst (pair a b) = a, подставив и сделав редукции.
