/src/Relation/Nullary/

• ../
• Decidable.agda
• Implication.agda
• Negation.agda
• Product.agda
• Sum.agda
• Universe.agda