Indexdec-0.0.6
A–Z
- absurdNoData.Type.Dec
- boringYesData.Type.Dec
- contradictData.Type.Dec
- contrapositionData.Type.Dec
- DecData.Type.Dec
- DecidableData.Type.Dec
- decideData.Type.Dec
- decNegData.Type.Dec
- decShowData.Type.Dec
- decToBoolData.Type.Dec
- decToMaybeData.Type.Dec
- NegData.Type.Dec
- NoData.Type.Dec
- toNegNegData.Type.Dec
- tripleNegData.Type.Dec
- YesData.Type.Dec