Subtração da Igreja
Subtração da Igreja O cálculo lambda sempre foi um fascínio meu e os comportamentos emergentes de passar funções entre si são deliciosamente complexos. Os numerais da igreja são representações de números naturais calculados a partir da aplicação repetida de uma função (normalmente a adição unária...