robdockins:
> Fellow Haskellers,
>
> I am pleased to announce the first alpha release of Lambda Shell, a shell
> environment for evaluating terms of the pure, untyped lambda calculus.
I've written a lambdabot plugin for lambda shell, it's running in
#haskell right now.
15:43 Cale:: @where lambdashell
15:43 lambdabot:: darcs get http://www.eecs.tufts.edu/~rdocki01/lambda/
15:43 Cale:: @lam fac four
15:43 lambdabot:: \f. \x. f (f (f (f (f (f (f (f (f (f (f (f (f (f
(f (f (f (f (f (f (f (f ( f (f
x)))))))))))))))))))))))
15:43 Cale:: @lam fac S
15:43 lambdabot:: \f. \g. \x. x (g x)
15:49 Cale:: @lam fst (pair three four)
15:49 lambdabot:: three
15:49 Cale:: @lam snd (pair three four)
15:49 lambdabot:: four
Cheers,
Don
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
