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

• Parent Directory
• Bundles.agda
• Consequences.agda
• Construct/
• Core.agda
• Definitions.agda
• HeterogeneousEquality.agda
• HeterogeneousEquality/
• Indexed/
• Lattice.agda
• Lattice/
• Morphism.agda
• Morphism/
• OrderMorphism.agda
• Properties/
• PropositionalEquality.agda
• PropositionalEquality/
• Reasoning/
• Reflection.agda
• Rewriting.agda
• Structures.agda
• Structures/
• TypeClasses.agda