Skip to content
Back to pull request #2393

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

The logs for this run have expired and are no longer available.