Fedora 42 for ppc64le : / usr /share /doc /Agda-stdlib-docs /README

• Axiom.agda
• Case.agda
• Data
• Data.agda
• Debug
• Design
• Foreign
• Function
• IO.agda
• Inspect.agda
• Nary.agda
• Reflection
• Relation
• Tactic
• Text

Generated by rpm2html 1.8.1

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