Skip to content

Add law-checking for asMeetPartialOrder and asJoinPartialOrder#1022

Merged
ceedubs merged 3 commits intotypelevel:masterfrom ceedubs:semilattice-testsMay 9, 2016
+4-2

Commits

Commits on May 8, 2016

Commits on May 9, 2016