Skip to content

Add InvariantMonoidal and FreeInvariantMonoidal#845

Merged
ceedubs merged 4 commits intotypelevel:masterfrom OlivierBlanvillain:free-invariantJun 23, 2016

Commits

Commits on Jun 16, 2016

Commits on Jun 18, 2016