Skip to content

Override reverse on reversed PartialOrder to return original instance#1024

Merged
fthomas merged 1 commit intotypelevel:masterfrom ceedubs:partial-order-reverseMay 10, 2016
+11-5

Commits

Commits on May 10, 2016