hpaste

c c2
= c (c c)
= c c c c
= c4

c c4
= c (c3 c)
= c c c3 c
= c2 c3 c
= c2 (c2 c) c
= c c2 c2 c c
= c4   c2 c c
= c4 (c c) c c
= c c4 c c c c

Powered by HAppS. Copyright (c) 2007 glguy @ #haskell. Source via darcs.