STR-412: Fix "non-symmetry" of foldr and foldl strategies
Current signatures:
foldr(s1 : List(a) -> b, s2 : (a, b) -> b) : List(a) -> b
foldl(s : (a, b) -> b) : (List(a), b) -> bSuggested additions:
foldl(s1 : List(a) -> b, s2 : (a, b) -> b) : List(a) -> b
Submitted on 13 September 2005 at 23:39
foldr(s : (a, b) -> b) : (List(a), b) -> b
Issue Log
On 9 January 2013 at 16:56 Eelco Visser removed tag 0.20
On 9 January 2013 at 16:56 Eelco Visser tagged interesting
Log in to post comments