4 ms·
A combinator is just a term without free variables. All the rules can be put as combinators, it’s just that they don’t have common names like SKICB(…).
by quchen 2y ago
A combinator is just a term without free variables. All the rules can be put as combinators, it’s just that they don’t have common names like SKICB(…).