Fedora 42 for ppc64le : / usr /share /Agda-stdlib /src

• Algebra
• Algebra.agda
• Axiom
• Category
• Codata
• Data
• Debug
• Effect
• Foreign
• Function
• Function.agda
• IO
• IO.agda
• Induction
• Induction.agda
• Level
• Level.agda
• Record.agda
• Reflection
• Reflection.agda
• Relation
• Size.agda
• Strict.agda
• System
• Tactic
• Text
• Universe.agda

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Feb 10 01:11:31 2026