Skip to content

An attempt at proving foldr-foldl equivalence #891

An attempt at proving foldr-foldl equivalence

An attempt at proving foldr-foldl equivalence #891

Haskell-CI - Linux - ghc-9.10.1

succeeded Dec 4, 2024 in 6m 1s