Index of /data/main/a/agda-stdlib/1.3-2/src/Relation/Binary/Construct/Closure

• Parent Directory
• Equivalence.agda
• Equivalence/
• Reflexive.agda
• Reflexive/
• ReflexiveTransitive.agda
• ReflexiveTransitive/
• Symmetric.agda
• Transitive.agda
• Transitive/