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

Dear Dušan, You can also find an algorithm in everyone's favourite book in combinatorial logic "To Mock a Mockingbird" (http://en.wikipedia.org/wiki/To_Mock_a_Mockingbird). Cheers, Matthias.