Вычитание церкви
Вычитание церкви Лямбда-исчисление всегда было моим увлечением, и возникающее поведение передачи функций друг другу восхитительно сложно. Церковные цифры - это представления натуральных чисел, полученные из многократного применения функции (обычно это одинарное сложение константы). Например,...