Fedora Rawhide for aarch64 : / usr /share /Agda-stdlib /src /Data /Vec

• Base.agda
• Bounded
• Bounded.agda
• Categorical
• Categorical.agda
• Effectful
• Effectful.agda
• Functional
• Functional.agda
• Instances.agda
• Membership
• N-ary.agda
• Properties
• Properties.agda
• Recursive
• Recursive.agda
• Reflection.agda
• Relation
• Show.agda

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Oct 26 22:54:33 2025