Index
| 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 |