Skip to content

Add Eq1 and Ord1 instances#26

Merged
garyb merged 1 commit intomasterfrom
eq-ord-1
Mar 2, 2017
Merged

Add `Eq1` and `Ord1` instances#26
garyb merged 1 commit intomasterfrom
eq-ord-1

Commits

Commits on Mar 2, 2017