Add the Setoid-based Monoid on (List, [], _++_)#2393
Merged
jamesmckinna merged 3 commits intoagda:masterfrom jamesmckinna:list-setoidMay 30, 2024
+64
Commits
Commits on May 21, 2024
- committed
Setoid-based Monoid on (List, [], _++_)#2393