Henning Thielemann wrote:
apfelmus wrote:
gwern wrote:
Now, the Main Page on haskell.org is not protected, so I could just edit
in one of the better descriptions proposed, but as in my Wikipedia editing,
I like to have consensus especially for such visible changes.
Hey, why has the front-page already been changed then? I don't like
neither this nor the new slogan.
Edit war!!!!!
Yarr, bring up the guns! Y-rifle, fire!
http://ellemose.dina.kvl.dk/cgi-bin/sestoft/lamreduce?action=normalize&expression=%5Clamb.%28%5Cx.%5Cf.f%28x+x+f%29%29+%28%5Cx.%5Cf.f%28x+x+f%29%29+%28%5Cf.%5Cda.f%29&evalorder=normal+order
Goodstein gun, fire!
import Data.Tree
type Number = Forest Integer
zero = []; one = [Node 1 zero]; two = [Node 1 one] -- (shortened)
hereditary
three = one++two; four = [Node 1 two] -- base 2
representation
subtractOne p (Node 1 []:xs) = xs
subtractOne p (Node a []:xs) = Node (a-1) []:xs
subtractOne p (Node 1 k :xs) = let k' = subtractOne p k in
subtractOne p [Node 1 k'] ++ Node
(p-1) k':xs
subtractOne p (Node a k :xs) = subtractOne p [Node 1 k ] ++ Node
(a-1) k :xs
goodstein !p n = if null n then [] else n:goodstein (p+1)
(subtractOne (p+1) n)
goodsteingun n = concat $ "lamb":map (const "da") (goodstein 2 n)
> goodsteingun three
"lambdadadadadada"
> goodsteingun four
"lambdadadadadadadadadadadadadadadadadadadadadada[...]
Will it ever cease?
Regards,
apfelmus
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe