Fedora Rawhide for ppc64le : / usr /share /idris-1.3.4 /libs /prelude /Prelude

• Algebra.ibc
• Applicative.ibc
• Basics.ibc
• Bits.ibc
• Bool.ibc
• Cast.ibc
• Chars.ibc
• Doubles.ibc
• Either.ibc
• File.ibc
• Foldable.ibc
• Functor.ibc
• Interactive.ibc
• Interfaces.ibc
• List.ibc
• Maybe.ibc
• Monad.ibc
• Nat.ibc
• Pairs.ibc
• Providers.ibc
• Show.ibc
• Stream.ibc
• Strings.ibc
• Traversable.ibc
• Uninhabited.ibc
• WellFounded.ibc

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Apr 7 01:26:06 2025