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

• Bundles.agda
• Consequences.agda
• Construct
• Core.agda
• Definitions.agda
• EqReasoning.agda
• EquivalenceClosure.agda
• HeterogeneousEquality
• HeterogeneousEquality.agda
• Indexed
• Lattice.agda
• Morphism
• Morphism.agda
• OrderMorphism.agda
• PartialOrderReasoning.agda
• PreorderReasoning.agda
• Properties
• PropositionalEquality
• PropositionalEquality.agda
• Reasoning
• Reflection.agda
• Rewriting.agda
• SetoidReasoning.agda
• StrictPartialOrderReasoning.agda
• Structures.agda
• SymmetricClosure.agda
• TypeClasses.agda

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Jul 10 00:08:09 2024