6Recall that a combinator is just a λ-term with no free variables.
© Gregor Richards. | Design by TEMPLATED.