Fedora 39 for ppc64le : / usr /share /idris-1.3.4 /docs /prelude /docs

• Builtins.html
• Decidable.Equality.html
• FFI.html
• FFI_C.html
• ForeignEnv.html
• IO.html
• Language.Reflection.Elab.html
• Language.Reflection.Errors.html
• Language.Reflection.html
• Prelude.Algebra.html
• Prelude.Applicative.html
• Prelude.Basics.html
• Prelude.Bits.html
• Prelude.Bool.html
• Prelude.Cast.html
• Prelude.Chars.html
• Prelude.Doubles.html
• Prelude.Either.html
• Prelude.File.html
• Prelude.Foldable.html
• Prelude.Functor.html
• Prelude.Interactive.html
• Prelude.Interfaces.html
• Prelude.List.html
• Prelude.Maybe.html
• Prelude.Monad.html
• Prelude.Nat.html
• Prelude.Pairs.html
• Prelude.Providers.html
• Prelude.Show.html
• Prelude.Stream.html
• Prelude.Strings.html
• Prelude.Traversable.html
• Prelude.Uninhabited.html
• Prelude.WellFounded.html
• Prelude.html
• [builtins].html

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Jul 9 20:59:01 2025