Skip to content

Add WellFoundedStreams module from batteries PR#1331#99

Open
NicolasRouquette wants to merge 2 commits into
fgdorais:mainfrom
NicolasRouquette:well-founded-streams
Open

Add WellFoundedStreams module from batteries PR#1331#99
NicolasRouquette wants to merge 2 commits into
fgdorais:mainfrom
NicolasRouquette:well-founded-streams

feat: make fold combinators total via remaining-based termination

deb6e2e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.