Skip to content
Back to pull request #2393

Add the Setoid-based Monoid on (List, [], _++_) #3384

Sign in to view logs

Add the Setoid-based Monoid on (List, [], _++_)

Add the Setoid-based Monoid on (List, [], _++_) #3384

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-stdlib
34m 1s
34m 1s