
20 Sep
2007
20 Sep
'07
2:54 a.m.
tfoldr (-) 1 [4,3] = 4-3-(-1) = 2
Erm? You mean "foldr"? foldr (-) a [x,y,z,t,w] == x - (y - (z - (t - (w - a)))) So, foldr (-) 1 [4,3] == 4 - (3 - 1).
A similar thing happens with foldr (/) 2 [8,2] = 8.0
8/(2/2) = 8/1 = 8
I thought foldr \oplus v [] = v
Yeah, that's right.
6453
Age (days ago)
6453
Last active (days ago)
1 comments
2 participants
participants (2)
-
Albert Y. C. Lai
-
Miguel Mitrofanov