Combinators as Lisp constants on top of lambda calculus (and Church encoding)
Primary LanguageCommon LispOtherNOASSERTION