[Haskell-cafe] Re: New slogan for haskell.org

[apfelmus]

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