Skip to content

add Decidable instances for ->, Neg and Either#4

Open
olafklinke wants to merge 2 commits into
phadej:masterfrom
olafklinke:master
Open

add Decidable instances for ->, Neg and Either#4
olafklinke wants to merge 2 commits into
phadej:masterfrom
olafklinke:master

remove Decidable for negation

048f569
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs