Skip to content
Check whitespace

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-whitespace
5s
5s