dec-0.0.6: Decidable propositions.

Index

absurdNo | Data.Type.Dec
boringYes | Data.Type.Dec
contradict | Data.Type.Dec
contraposition | Data.Type.Dec
Dec | Data.Type.Dec
Decidable | Data.Type.Dec
decide | Data.Type.Dec
decNeg | Data.Type.Dec
decShow | Data.Type.Dec
decToBool | Data.Type.Dec
decToMaybe | Data.Type.Dec
Neg | Data.Type.Dec
No | Data.Type.Dec
toNegNeg | Data.Type.Dec
tripleNeg | Data.Type.Dec
Yes | Data.Type.Dec