
21 Aug
2007
21 Aug
'07
2:06 p.m.
Stefan O'Rear wrote:
sum (enum 1 10) => sum' 0 (enum 1 10) => ...
sum' 36 (9 : enum (9+1) 10) => (sum' $! (36+9)) (enum (9+1) 10) => sum' 45 (enum (9+1) 10) => sum' 45 [] => 45
(I need to find some way to automate making these trails :) )
Yes! We'd need such an automatic tool for the wikibook, too. Regards, apfelmus