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