EPEL 8 for s390x : / usr /share /Agda-2.5.3 /lib /prim /Agda /Builtin

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Mar 29 03:32:21 2025