How To Install idris-docs on Fedora 36

In this tutorial we learn how to install idris-docs in Fedora 36. idris-docs is Idris library docs

Introduction

In this tutorial we learn how to install idris-docs on Fedora 36.

What is `idris-docs`

This package provides the library docs for the Idris programming language.

We can use yum or dnf to install idris-docs on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install idris-docs.

Install idris-docs on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install idris-docs using dnf by running the following command:

sudo dnf -y install idris-docs

Install idris-docs on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install idris-docs using yum by running the following command:

sudo yum -y install idris-docs

How To Uninstall idris-docs on Fedora 36

To uninstall only the idris-docs package we can use the following command:

sudo dnf remove idris-docs

idris-docs Package Contents on Fedora 36

/usr/share/idris-1.3.4
/usr/share/idris-1.3.4/docs
/usr/share/idris-1.3.4/docs/base
/usr/share/idris-1.3.4/docs/base/IdrisDoc
/usr/share/idris-1.3.4/docs/base/docs
/usr/share/idris-1.3.4/docs/base/docs/Control.Arrow.html
/usr/share/idris-1.3.4/docs/base/docs/Control.Catchable.html
/usr/share/idris-1.3.4/docs/base/docs/Control.IOExcept.html
/usr/share/idris-1.3.4/docs/base/docs/Control.Isomorphism.Iso.html
/usr/share/idris-1.3.4/docs/base/docs/Control.Isomorphism.html
/usr/share/idris-1.3.4/docs/base/docs/Control.Monad.Identity.html
/usr/share/idris-1.3.4/docs/base/docs/Control.Monad.RWS.html
/usr/share/idris-1.3.4/docs/base/docs/Control.Monad.Reader.html
/usr/share/idris-1.3.4/docs/base/docs/Control.Monad.State.html
/usr/share/idris-1.3.4/docs/base/docs/Control.Monad.Writer.html
/usr/share/idris-1.3.4/docs/base/docs/Data.Bits.html
/usr/share/idris-1.3.4/docs/base/docs/Data.Buffer.html
/usr/share/idris-1.3.4/docs/base/docs/Data.Complex.html
/usr/share/idris-1.3.4/docs/base/docs/Data.Erased.html
/usr/share/idris-1.3.4/docs/base/docs/Data.Fin.html
/usr/share/idris-1.3.4/docs/base/docs/Data.HVect.html
/usr/share/idris-1.3.4/docs/base/docs/Data.IORef.html
/usr/share/idris-1.3.4/docs/base/docs/Data.List.Quantifiers.html
/usr/share/idris-1.3.4/docs/base/docs/Data.List.Views.html
/usr/share/idris-1.3.4/docs/base/docs/Data.List.html
/usr/share/idris-1.3.4/docs/base/docs/Data.Mod2.html
/usr/share/idris-1.3.4/docs/base/docs/Data.Morphisms.html
/usr/share/idris-1.3.4/docs/base/docs/Data.String.Views.html
/usr/share/idris-1.3.4/docs/base/docs/Data.String.html
/usr/share/idris-1.3.4/docs/base/docs/Data.Vect.Quantifiers.html
/usr/share/idris-1.3.4/docs/base/docs/Data.Vect.Views.html
/usr/share/idris-1.3.4/docs/base/docs/Data.Vect.html
/usr/share/idris-1.3.4/docs/base/docs/Debug.Error.html
/usr/share/idris-1.3.4/docs/base/docs/Debug.Trace.html
/usr/share/idris-1.3.4/docs/base/docs/Decidable.Equality.html
/usr/share/idris-1.3.4/docs/base/docs/FFI.html
/usr/share/idris-1.3.4/docs/base/docs/FFI_C.html
/usr/share/idris-1.3.4/docs/base/docs/ForeignEnv.html
/usr/share/idris-1.3.4/docs/base/docs/Language.Reflection.Elab.html
/usr/share/idris-1.3.4/docs/base/docs/Language.Reflection.Errors.html
/usr/share/idris-1.3.4/docs/base/docs/Language.Reflection.Utils.html
/usr/share/idris-1.3.4/docs/base/docs/Language.Reflection.html
/usr/share/idris-1.3.4/docs/base/docs/Prelude.Algebra.html
/usr/share/idris-1.3.4/docs/base/docs/Prelude.Applicative.html
/usr/share/idris-1.3.4/docs/base/docs/Prelude.Basics.html
/usr/share/idris-1.3.4/docs/base/docs/Prelude.Bool.html
/usr/share/idris-1.3.4/docs/base/docs/Prelude.Either.html
/usr/share/idris-1.3.4/docs/base/docs/Prelude.File.html
/usr/share/idris-1.3.4/docs/base/docs/Prelude.Foldable.html
/usr/share/idris-1.3.4/docs/base/docs/Prelude.Functor.html
/usr/share/idris-1.3.4/docs/base/docs/Prelude.Interfaces.html
/usr/share/idris-1.3.4/docs/base/docs/Prelude.List.html
/usr/share/idris-1.3.4/docs/base/docs/Prelude.Maybe.html
/usr/share/idris-1.3.4/docs/base/docs/Prelude.Nat.html
/usr/share/idris-1.3.4/docs/base/docs/Prelude.Show.html
/usr/share/idris-1.3.4/docs/base/docs/Prelude.Stream.html
/usr/share/idris-1.3.4/docs/base/docs/Prelude.Strings.html
/usr/share/idris-1.3.4/docs/base/docs/Prelude.Traversable.html
/usr/share/idris-1.3.4/docs/base/docs/Prelude.WellFounded.html
/usr/share/idris-1.3.4/docs/base/docs/System.Concurrency.Channels.html
/usr/share/idris-1.3.4/docs/base/docs/System.Info.html
/usr/share/idris-1.3.4/docs/base/docs/System.html
/usr/share/idris-1.3.4/docs/base/docs/[builtins].html
/usr/share/idris-1.3.4/docs/base/index.html
/usr/share/idris-1.3.4/docs/base/styles.css
/usr/share/idris-1.3.4/docs/contrib
/usr/share/idris-1.3.4/docs/contrib/IdrisDoc
/usr/share/idris-1.3.4/docs/contrib/docs
/usr/share/idris-1.3.4/docs/contrib/docs/Builtins.html
/usr/share/idris-1.3.4/docs/contrib/docs/CFFI.Memory.html
/usr/share/idris-1.3.4/docs/contrib/docs/CFFI.Types.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.Algebra.Lattice.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.Algebra.Laws.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.Algebra.NumericImplementations.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.Algebra.VectorSpace.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.Algebra.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.Delayed.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.IOExcept.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.Isomorphism.Extra.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.Isomorphism.Fin.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.Isomorphism.Iso.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.Isomorphism.Primitives.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.Isomorphism.Vect.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.Isomorphism.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.Monad.Syntax.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.Partial.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.Pipeline.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.ST.Env.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.ST.Exception.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.ST.File.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.ST.ImplicitCall.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.ST.Loop.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.ST.Random.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.ST.Resources.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.ST.Stable.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.ST.VarList.html
/usr/share/idris-1.3.4/docs/contrib/docs/Control.ST.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Bool.Algebra.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.BoundedList.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Chain.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.CoList.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Combinators.Applicative.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Combinators.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Fin.Extra.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Fin.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Fuel.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Fun.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Hash.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.IOArray.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.List.Reverse.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.List.Zipper.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Matrix.Algebraic.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Matrix.Numeric.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Matrix.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Morphisms.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Nat.DivMod.IteratedSubtraction.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Nat.DivMod.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Nat.Fact.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Nat.Fib.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Nat.Parity.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Nat.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Pairs.Implicit.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.PosNat.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Rel.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.SortedBag.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.SortedSet.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Storable.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Stream.Extra.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.String.Extra.html
/usr/share/idris-1.3.4/docs/contrib/docs/Data.Vect.html
/usr/share/idris-1.3.4/docs/contrib/docs/Decidable.Decidable.html
/usr/share/idris-1.3.4/docs/contrib/docs/Decidable.Equality.html
/usr/share/idris-1.3.4/docs/contrib/docs/Decidable.Order.html
/usr/share/idris-1.3.4/docs/contrib/docs/FFI.html
/usr/share/idris-1.3.4/docs/contrib/docs/FFI_C.html
/usr/share/idris-1.3.4/docs/contrib/docs/ForeignEnv.html
/usr/share/idris-1.3.4/docs/contrib/docs/Interfaces.Correlative.html
/usr/share/idris-1.3.4/docs/contrib/docs/Interfaces.Proposition.html
/usr/share/idris-1.3.4/docs/contrib/docs/Language.JSON.Data.html
/usr/share/idris-1.3.4/docs/contrib/docs/Language.JSON.html
/usr/share/idris-1.3.4/docs/contrib/docs/Language.Reflection.Elab.html
/usr/share/idris-1.3.4/docs/contrib/docs/Language.Reflection.Errors.html
/usr/share/idris-1.3.4/docs/contrib/docs/Language.Reflection.html
/usr/share/idris-1.3.4/docs/contrib/docs/Network.Cgi.html
/usr/share/idris-1.3.4/docs/contrib/docs/Network.Socket.Data.html
/usr/share/idris-1.3.4/docs/contrib/docs/Network.Socket.html
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Algebra.html
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Applicative.html
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Basics.html
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Bool.html
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Either.html
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.File.html
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Foldable.html
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Functor.html
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Interfaces.html
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.List.html
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Maybe.html
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Monad.html
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Nat.html
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Pairs.Exists.html
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Pairs.html
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Show.html
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Stream.html
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Traversable.html
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.WellFounded.html
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.html
/usr/share/idris-1.3.4/docs/contrib/docs/System.Concurrency.Process.html
/usr/share/idris-1.3.4/docs/contrib/docs/Test.Unit.Assertions.html
/usr/share/idris-1.3.4/docs/contrib/docs/Test.Unit.Display.html
/usr/share/idris-1.3.4/docs/contrib/docs/Test.Unit.Generic.html
/usr/share/idris-1.3.4/docs/contrib/docs/Text.Lexer.Core.html
/usr/share/idris-1.3.4/docs/contrib/docs/Text.Literate.html
/usr/share/idris-1.3.4/docs/contrib/docs/Text.Quantity.html
/usr/share/idris-1.3.4/docs/contrib/docs/Text.Token.html
/usr/share/idris-1.3.4/docs/contrib/docs/[builtins].html
/usr/share/idris-1.3.4/docs/contrib/index.html
/usr/share/idris-1.3.4/docs/contrib/styles.css
/usr/share/idris-1.3.4/docs/effects
/usr/share/idris-1.3.4/docs/effects/IdrisDoc
/usr/share/idris-1.3.4/docs/effects/docs
/usr/share/idris-1.3.4/docs/effects/docs/Control.IOExcept.html
/usr/share/idris-1.3.4/docs/effects/docs/Data.List.html
/usr/share/idris-1.3.4/docs/effects/docs/Data.So.html
/usr/share/idris-1.3.4/docs/effects/docs/Decidable.Equality.html
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Exception.html
/usr/share/idris-1.3.4/docs/effects/docs/Effect.File.FileResult.html
/usr/share/idris-1.3.4/docs/effects/docs/Effect.File.html
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Logging.Category.LogRes.html
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Logging.Category.html
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Logging.Default.LogRes.html
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Logging.Default.html
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Logging.Level.html
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Memory.html
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Monad.html
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Perf.html
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Random.html
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Select.html
/usr/share/idris-1.3.4/docs/effects/docs/Effect.State.html
/usr/share/idris-1.3.4/docs/effects/docs/Effect.StdIO.html
/usr/share/idris-1.3.4/docs/effects/docs/Effect.System.html
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Trans.html
/usr/share/idris-1.3.4/docs/effects/docs/Effects.DepEff.html
/usr/share/idris-1.3.4/docs/effects/docs/Effects.DepUpdateEffect.html
/usr/share/idris-1.3.4/docs/effects/docs/Effects.Env.html
/usr/share/idris-1.3.4/docs/effects/docs/Effects.NoResourceEffect.html
/usr/share/idris-1.3.4/docs/effects/docs/Effects.NoUpdateEffect.html
/usr/share/idris-1.3.4/docs/effects/docs/Effects.SimpleEff.html
/usr/share/idris-1.3.4/docs/effects/docs/Effects.TransEff.html
/usr/share/idris-1.3.4/docs/effects/docs/Effects.UpdateEffect.html
/usr/share/idris-1.3.4/docs/effects/docs/Effects.html
/usr/share/idris-1.3.4/docs/effects/docs/FFI.html
/usr/share/idris-1.3.4/docs/effects/docs/FFI_C.html
/usr/share/idris-1.3.4/docs/effects/docs/ForeignEnv.html
/usr/share/idris-1.3.4/docs/effects/docs/Language.Reflection.Elab.html
/usr/share/idris-1.3.4/docs/effects/docs/Language.Reflection.Errors.html
/usr/share/idris-1.3.4/docs/effects/docs/Language.Reflection.html
/usr/share/idris-1.3.4/docs/effects/docs/Prelude.Algebra.html
/usr/share/idris-1.3.4/docs/effects/docs/Prelude.Applicative.html
/usr/share/idris-1.3.4/docs/effects/docs/Prelude.Basics.html
/usr/share/idris-1.3.4/docs/effects/docs/Prelude.Bool.html
/usr/share/idris-1.3.4/docs/effects/docs/Prelude.Either.html
/usr/share/idris-1.3.4/docs/effects/docs/Prelude.File.html
/usr/share/idris-1.3.4/docs/effects/docs/Prelude.Foldable.html
/usr/share/idris-1.3.4/docs/effects/docs/Prelude.Functor.html
/usr/share/idris-1.3.4/docs/effects/docs/Prelude.Interfaces.html
/usr/share/idris-1.3.4/docs/effects/docs/Prelude.List.html
/usr/share/idris-1.3.4/docs/effects/docs/Prelude.Maybe.html
/usr/share/idris-1.3.4/docs/effects/docs/Prelude.Nat.html
/usr/share/idris-1.3.4/docs/effects/docs/Prelude.Show.html
/usr/share/idris-1.3.4/docs/effects/docs/Prelude.Stream.html
/usr/share/idris-1.3.4/docs/effects/docs/[builtins].html
/usr/share/idris-1.3.4/docs/effects/index.html
/usr/share/idris-1.3.4/docs/effects/styles.css
/usr/share/idris-1.3.4/docs/prelude
/usr/share/idris-1.3.4/docs/prelude/IdrisDoc
/usr/share/idris-1.3.4/docs/prelude/docs
/usr/share/idris-1.3.4/docs/prelude/docs/Builtins.html
/usr/share/idris-1.3.4/docs/prelude/docs/Decidable.Equality.html
/usr/share/idris-1.3.4/docs/prelude/docs/FFI.html
/usr/share/idris-1.3.4/docs/prelude/docs/FFI_C.html
/usr/share/idris-1.3.4/docs/prelude/docs/ForeignEnv.html
/usr/share/idris-1.3.4/docs/prelude/docs/IO.html
/usr/share/idris-1.3.4/docs/prelude/docs/Language.Reflection.Elab.html
/usr/share/idris-1.3.4/docs/prelude/docs/Language.Reflection.Errors.html
/usr/share/idris-1.3.4/docs/prelude/docs/Language.Reflection.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Algebra.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Applicative.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Basics.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Bits.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Bool.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Cast.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Chars.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Doubles.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Either.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.File.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Foldable.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Functor.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Interactive.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Interfaces.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.List.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Maybe.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Monad.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Nat.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Pairs.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Providers.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Show.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Stream.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Strings.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Traversable.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Uninhabited.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.WellFounded.html
/usr/share/idris-1.3.4/docs/prelude/docs/Prelude.html
/usr/share/idris-1.3.4/docs/prelude/docs/[builtins].html
/usr/share/idris-1.3.4/docs/prelude/index.html
/usr/share/idris-1.3.4/docs/prelude/styles.css
/usr/share/idris-1.3.4/docs/pruviloj
/usr/share/idris-1.3.4/docs/pruviloj/IdrisDoc
/usr/share/idris-1.3.4/docs/pruviloj/docs
/usr/share/idris-1.3.4/docs/pruviloj/docs/Decidable.Equality.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/FFI.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/FFI_C.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/ForeignEnv.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/Language.Reflection.Elab.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/Language.Reflection.Errors.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/Language.Reflection.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/Prelude.Algebra.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/Prelude.Applicative.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/Prelude.Basics.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/Prelude.Bool.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/Prelude.Either.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/Prelude.File.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/Prelude.Foldable.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/Prelude.Functor.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/Prelude.Interfaces.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/Prelude.List.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/Prelude.Maybe.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/Prelude.Nat.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/Prelude.Show.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/Prelude.Stream.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/Pruviloj.Derive.DecEq.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/Pruviloj.Internals.TyConInfo.html
/usr/share/idris-1.3.4/docs/pruviloj/docs/[builtins].html
/usr/share/idris-1.3.4/docs/pruviloj/index.html
/usr/share/idris-1.3.4/docs/pruviloj/styles.css

References

idris-docs website

Summary

In this tutorial we learn how to install idris-docs on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).