Fedora 43 for x86_64 : / usr /share /Agda-stdlib /src

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Oct 26 23:04:58 2025