Minor clarity improvement for ++fold

This commit is contained in:
David Kerschner 2019-06-25 13:08:35 -07:00
parent b8fbdb683b
commit 4a82abb3e1

View File

@ -11711,8 +11711,7 @@
^- state ^- state
|- |-
?~ xs st ?~ xs st
=. st (f st i.xs) $(xs t.xs, st (f st i.xs))
$(xs t.xs, st st)
:: ::
:: This is basically a `mapM` over a list using the State monad. :: This is basically a `mapM` over a list using the State monad.
:: ::