[Haskell-cafe] OT: Literature on translation of lambda calculus to combinators

Felipe Lessa felipe.lessa at gmail.com
Thu Jan 28 10:21:58 EST 2010

On Thu, Jan 28, 2010 at 09:23:23AM -0500, Job Vranish wrote:
> -- The anoying thing about the algorithm is that it is difficult to separate
> the SKI and LC expression types
> --  it's easiest to just combine them.

Why is it difficult?


More information about the Haskell-Cafe mailing list