3622
правки
Изменения
→Кр2
* [https://pp.vk.me/c625826/v625826822/916a/2US214bNwv0.jpg]
* [https://pp.vk.me/c625826/v625826822/9174/QRhQIqwNX5Q.jpg]
Разбор будет по фоткам 3 и 4 (остальные задания аналогичны):
== N1. Порядок редуцирования ==
См. прошлую кр
== E0. Определить примитивные конструкции ==
* pair = \ x y p . p x y
=Кр3=
=Кр4=
