Closed drupol closed 1 year ago
This PR:
reduce
reduction
scanLeft
scanRight
Note, the psalm issues are related to the upgrade to 5.4, they will be fixed in a follow up PR which is almost done.
Follows a discussion on Mastodon with @azjezz at https://mathstodon.xyz/@Pol/109588243184619262
This PR:
reduce
,reduction
,scanLeft
,scanRight
Note, the psalm issues are related to the upgrade to 5.4, they will be fixed in a follow up PR which is almost done.
Follows a discussion on Mastodon with @azjezz at https://mathstodon.xyz/@Pol/109588243184619262