19 lines (11 loc) · 340 Bytes

Revision history for dec

0.0.6

Support GHC-8.6.5...9.10.1

0.0.5

Add boringYes and absurdNo.
Add Decidable a => Boring (Dec a) instance.
Add Decidable (), Decidable Void, Decidable (a, b) instances.

0.0.4

Mark module as explicitly Safe.

0.0.3

First version. Released on an unsuspecting world.