[Haskell] ANNOUNCE: Lambda Shell 0.1
Donald Bruce Stewart
dons at cse.unsw.edu.au
Tue Dec 20 23:56:08 EST 2005
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
More information about the Haskell
mailing list