История
26 апреля 2015
→Решение
м+3
→Нормальный порядок редукции: облегчена речевая конструкция определения
м-20
→Решение
м+2
→E0. Определить примитивные конструкции
м-1
→E0. Определить примитивные конструкции
м+7
→E0. Определить примитивные конструкции
м+2
→Аппликативный порядок редукции
м-6
→Решение
м+5
→Решение: исправлена бага
м→E2. let-биндинги но с возможной взаимной рекурсией
м+1
→Решение
м→Кр2: добавлен разбор кр2
+5210
→Кр2
+205
→Фотки
м→Кр2
+293
→Кодирование по Чёрчу
+151
→Кодирование по Чёрчу
м+134
→Выписать систему уравнений типизации
+1466
Нет описания правки
+545
→Аппликативный порядок редукции
+509
→Нормальный порядок редукции
м+893
→Привести в нормальную форму
+403
→Убрать все сокращения и расставить все скобки
м+757