Skip to content

Fix doc for InvariantMonoidal#1615

Merged
ceedubs merged 1 commit intotypelevel:masterfrom BenFradet:inv_monoid_docApr 18, 2017
+4-1

Commits

Commits on Apr 18, 2017