Re: Combinatory logic interpreter?
Robert Dockins <robdockins <at> fastmail.fm>
2006-02-10 16:33:39 GMT
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
' <at> lam' lambdabot command.
Its hard to know if this will meet your needs without knowing more.
What are you trying to do?
Speak softly and drive a Sherman tank.
Laugh hard; it's a long way to the bank.