[Haskell-cafe] Combinatory logic interpreter?

Robert Dockins robdockins at fastmail.fm
Fri Feb 10 11:33:39 EST 2006

On Feb 10, 2006, at 11:09 AM, Colin Paul Adams wrote:
> Is there any Haskell code around that can interpret combinatory  
> logic expressions?

Humm.  That's kind of a broad question.  I've written a shell for  
interpreting the pure untyped lambda calculus which has definitions  
for Turner's Combinators.  You can get the darcs repo here:


you will also need


Or... you can play with it on the haskell IRC channel by using the  
'@lam' lambdabot command.

Its hard to know if this will meet your needs without knowing more.   
What are you trying to do?

Rob Dockins

Speak softly and drive a Sherman tank.
Laugh hard; it's a long way to the bank.
           -- TMBG

More information about the Haskell-Cafe mailing list