3622
правки
Изменения
м
Лего Легко проверить, что fst (pair a b) = a, подставив и сделав редукции.
→E0. Определить примитивные конструкции
* fix = \f . (\x . f (x x)) (\x . f (x x))
== E1. Превратить let-биндинги в один большой лямбда-терм. ==
