3622
правки
Изменения
м
→E0. Определить примитивные конструкции
* 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))
Легко проверить, что fst (pair a b) = a, подставив и сделав редукции.
