beta-reduction.md

Beta-Reduction: Sempre que você tem uma expressão na forma ({var}BODY ARG), você:

1. Remove o {var} e o ARG
2. Substitui todas as ocorrencias de var por ARG dentro de BODY

CHURCH {Cons Nil}(Cons 1 (Cons 2 (Cons 3 Nil)))
SCOTT {Cons Nil}(Cons 1 {Cons Nil}(Cons 2 {Cons Nil}(Cons 3 {Cons Nil}Nil)))