Revision history for dec

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.