git.iko.soy/Idris-dev
on master help sign in
folding002 isn't really appropriate now
5269289Edwin Brady
test/folding002/expected+2−2
compare with master
unifiedsplit
@@ -1,2 +1,2 @@
1−500000500000
1+5000050000
2−500000500000
2+5000050000
test/folding002/folding002.idr+1−1
@@ -5,7 +5,7 @@ addAll : (Foldable t, Num a) => t a -> a
5addAll = foldr (+) 0
5addAll = foldr (+) 0
6
6
7n : Integer
7n : Integer
8−n = 1000000
8+n = 100000
9
9
10numbersList : List Integer
10numbersList : List Integer
11numbersList = numbersList' n []
11numbersList = numbersList' n []