Skip to content
Haskell-CI

An attempt at proving foldr-foldl equivalence #891

Sign in to view logs

An attempt at proving foldr-foldl equivalence

An attempt at proving foldr-foldl equivalence #891

Triggered via push December 4, 2024 03:11
@LeventErkokLeventErkok
pushed 253415d
KD_FOLDR_FOLDR_PROOF
Status Success
Total duration 6m 10s
Artifacts –

haskell-ci.yml

on: push
Matrix: linux
Fit to window
Zoom out
Zoom in