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

• Parent Directory
• ApartnessRelation.agda
• BoundedJoinSemilattice.agda
• BoundedLattice.agda
• BoundedMeetSemilattice.agda
• DecSetoid.agda
• DecTotalOrder.agda
• DistributiveLattice.agda
• HeytingAlgebra.agda
• JoinSemilattice.agda
• Lattice.agda
• MeetSemilattice.agda
• Poset.agda
• Preorder.agda
• Setoid.agda
• StrictPartialOrder.agda
• StrictTotalOrder.agda
• TotalOrder.agda