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

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? -- Felipe.