Refactor `Data.List.Base.scan*` and their properties

agda / agda-stdlib

The Agda standard library

https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary

Other

575 stars 237 forks source link

Refactor `Data.List.Base.scan*` and their properties #2395

Closed jamesmckinna closed 4 months ago

jamesmckinna commented 4 months ago

Refactored/uniformised from #2258 and #2269 , which now close unmerged instead... Fixes #2267 and relevant item of #2359 . Many thanks to all who commented on/reviewed the earlier PRs!