Skip to content

Renamed foldr0 and foldl0 and minor tidy-up

40a2260
Select commit
Loading
Failed to load commit list.
Merged

Port reverse lemmas to Data.Vec (fixes #942) #1668

Renamed foldr0 and foldl0 and minor tidy-up
40a2260
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs