Skip to content

Check laws on Xor PartialOrder and Eq instances#669

Merged
adelbertc merged 1 commit intotypelevel:masterfrom ceedubs:xor-po-eq-lawsNov 19, 2015
+14

Commits

Commits on Nov 17, 2015