Fedora Rawhide for s390x : / usr /share /Agda-stdlib /src /Relation /Binary

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Apr 25 03:00:15 2025