Zulip Chat Archive

Stream: triage

Topic: issue #161: Change list.prod from foldl to foldr


view this post on Zulip Random Issue Bot (Dec 21 2020 at 14:28):

Today I chose issue 161 for discussion!

Change list.prod from foldl to foldr
Created by @Sean Leather (@spl) on 2018-06-20
Labels:

Is this issue still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Random Issue Bot (Feb 26 2021 at 14:20):

Today I chose issue 161 for discussion!

Change list.prod from foldl to foldr
Created by @Sean Leather (@spl) on 2018-06-20
Labels:

Is this issue still relevant? Any recent updates? Anyone making progress?


Last updated: May 09 2021 at 15:11 UTC