Skip to content

Reorder Inject instances to allow inj :: a -> a#44

Merged
garyb merged 1 commit into
masterfrom
inj-reflexive
Nov 30, 2018
Merged

Reorder Inject instances to allow inj :: a -> a#44
garyb merged 1 commit into
masterfrom
inj-reflexive

Commits

Commits on Nov 27, 2018