Current signatures:

foldr(s1 : List(a) -> b, s2 : (a, b) -> b) : List(a) -> b
foldl(s : (a, b) -> b) : (List(a), b) -> b

Suggested additions:

foldl(s1 : List(a) -> b, s2 : (a, b) -> b) : List(a) -> b
foldr(s : (a, b) -> b) : (List(a), b) -> b

Submitted on 13 September 2005 at 23:39

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