Fedora 40 for s390x : / usr /share /Agda-stdlib /src /Reflection

• Abstraction.agda
• Annotated
• Annotated.agda
• Argument
• Argument.agda
• DeBruijn.agda
• Definition.agda
• External.agda
• Instances.agda
• Literal.agda
• Meta.agda
• Name.agda
• Pattern.agda
• Show.agda
• Term.agda
• Traversal.agda
• TypeChecking
• Universe.agda

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Jul 10 00:08:09 2024