[refactor] Relation.Nulllary.Decidable.Core#2329

Merged

MatthewDaggitt merged 2 commits intomasterfrom

PolymorphicDecidable

Mar 27, 2024

Commits on Mar 26, 2024

minor refactor: use Data.Unit.Polymorphic instead of an explicit Lift.
JacquesCarette
committed
additional tweak: use contradiction where possible.
JacquesCarette
committed