Index of /data/main/a/agda-stdlib/2.1-4/src/Relation/Nullary

• Parent Directory
• Construct/
• Decidable.agda
• Decidable/
• Implication.agda
• Indexed.agda
• Indexed/
• Negation.agda
• Negation/
• Product.agda
• Recomputable.agda
• Reflects.agda
• Sum.agda
• Universe.agda