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

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

23518f6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs