On 1/29/2016 10:41 AM, Walter Bright wrote:
Note there is a foldl, foldr, and some more obscure foldt, foldi, and some others.
foldr could be done with reverse.fold
On 1/29/2016 10:41 AM, Walter Bright wrote:
Note there is a foldl, foldr, and some more obscure foldt, foldi, and some others.
foldr could be done with reverse.fold