folding002 isn't really appropriate now
Since the library definition of List was simplified to be not tail
recursive in #2088
commit5269289f1367605a2a88e228fab72a863c728f60
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateThu 16 Apr 2015, 11:39 (12 years ago)
parent370939b
test/folding002/expected+2−2
@@ -1,2 +1,2 @@
1−500000500000
2−500000500000
1+5000050000
2+5000050000
test/folding002/folding002.idr+1−1
@@ -5,7 +5,7 @@ addAll : (Foldable t, Num a) => t a -> a
55addAll = foldr (+) 0
66
77n : Integer
8−n = 1000000
8+n = 100000
99
1010numbersList : List Integer
1111numbersList = numbersList' n []