/src/Relation/Binary/Construct/

• ../
• Always.agda
• Closure
• Constant.agda
• Converse.agda
• Flip.agda
• FromPred.agda
• FromRel.agda
• Never.agda
• NonStrictToStrict.agda
• On.agda
• StrictToNonStrict.agda