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

• Container
• Integer.agda
• List
• List.agda
• Nat
• Nat.agda
• Record.agda
• Tree
• Trie
• Wrap.agda

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Feb 23 04:37:30 2025