dec-0.0.3: Decidable propositions.

Index

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