Fedora 40 for s390x : / usr /share /Agda-stdlib /src /Data /Nat

• Base.agda
• Binary
• Binary.agda
• Coprimality.agda
• DivMod
• DivMod.agda
• Divisibility
• Divisibility.agda
• GCD
• GCD.agda
• GeneralisedArithmetic.agda
• Induction.agda
• InfinitelyOften.agda
• Instances.agda
• LCM.agda
• Literals.agda
• Primality.agda
• Properties
• Properties.agda
• PseudoRandom
• Reflection.agda
• Show
• Show.agda
• Solver.agda
• Tactic
• WithK.agda

Generated by rpm2html 1.8.1

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