Fedora 41 for ppc64le : / usr /share /Agda-stdlib / /build /2.6.4.3 /agda /src

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Apr 9 22:48:36 2025