Fedora 41 for s390x : / usr /share /Agda-2.6.4.3 /lib /prim /Agda /Builtin

• Bool.agda
• Char
• Char.agda
• Coinduction.agda
• Cubical
• Equality
• Equality.agda
• Float
• Float.agda
• FromNat.agda
• FromNeg.agda
• FromString.agda
• IO.agda
• Int.agda
• List.agda
• Maybe.agda
• Nat.agda
• Reflection
• Reflection.agda
• Sigma.agda
• Size.agda
• Strict.agda
• String
• String.agda
• TrustMe.agda
• Unit.agda
• Word
• Word.agda

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Apr 9 22:58:07 2025