Agda-stdlib-docs-0.9-3.fc24.noarch.rpm


Advertisement

Description

Agda-stdlib-docs - Agda standard libraries documentation

Distribution: Fedora 25
Repository: Fedora i386
Package name: Agda-stdlib-docs
Package version: 0.9
Package release: 3.fc24
Package architecture: noarch
Package type: rpm
Installed size: 20.59 MB
Download size: 1.54 MB
Official Mirror: dl.fedoraproject.org
This package provides the html documentation for the stdlibs generated by the Agda compiler program.

Alternatives

Provides

  • Agda-stdlib-docs = 0.9-3.fc24

    Install Howto

    Install the Agda-stdlib-docs rpm package:

    # dnf install Agda-stdlib-docs

    Files

    • /usr/share/doc/Agda-stdlib-docs/LICENCE
    • /usr/share/doc/Agda-stdlib-docs/html/Agda.Primitive.html
    • /usr/share/doc/Agda-stdlib-docs/html/Agda.css
    • /usr/share/doc/Agda-stdlib-docs/html/Algebra.FunctionProperties.Core.html
    • /usr/share/doc/Agda-stdlib-docs/html/Algebra.FunctionProperties.html
    • /usr/share/doc/Agda-stdlib-docs/html/Algebra.Monoid-solver.html
    • /usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.html
    • /usr/share/doc/Agda-stdlib-docs/html/Algebra.Operations.html
    • /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.AbelianGroup.html
    • /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.BooleanAlgebra.Expression.html
    • /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.BooleanAlgebra.html
    • /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.DistributiveLattice.html
    • /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Group.html
    • /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Lattice.html
    • /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Ring.html
    • /usr/share/doc/Agda-stdlib-docs/html/Algebra.RingSolver.AlmostCommutativeRing.html
    • /usr/share/doc/Agda-stdlib-docs/html/Algebra.RingSolver.Lemmas.html
    • /usr/share/doc/Agda-stdlib-docs/html/Algebra.RingSolver.Natural-coefficients.html
    • /usr/share/doc/Agda-stdlib-docs/html/Algebra.RingSolver.Simple.html
    • /usr/share/doc/Agda-stdlib-docs/html/Algebra.RingSolver.html
    • /usr/share/doc/Agda-stdlib-docs/html/Algebra.Structures.html
    • /usr/share/doc/Agda-stdlib-docs/html/Algebra.html
    • /usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.Indexed.html
    • /usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.Predicate.html
    • /usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.html
    • /usr/share/doc/Agda-stdlib-docs/html/Category.Functor.Predicate.html
    • /usr/share/doc/Agda-stdlib-docs/html/Category.Functor.html
    • /usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Continuation.html
    • /usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Identity.html
    • /usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Indexed.html
    • /usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Partiality.All.html
    • /usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Partiality.html
    • /usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Predicate.html
    • /usr/share/doc/Agda-stdlib-docs/html/Category.Monad.State.html
    • /usr/share/doc/Agda-stdlib-docs/html/Category.Monad.html
    • /usr/share/doc/Agda-stdlib-docs/html/Coinduction.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.AVL.IndexedMap.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.AVL.Sets.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.AVL.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Bin.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Bool.Properties.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Bool.Show.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Bool.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.BoundedVec.Inefficient.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.BoundedVec.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Char.Core.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Char.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Cofin.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Colist.Infinite-merge.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Colist.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Conat.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Any.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Combinator.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Container.FreeMonad.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Indexed.Combinator.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Indexed.Core.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Indexed.FreeMonad.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Indexed.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Container.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Covec.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.DifferenceList.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.DifferenceNat.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.DifferenceVec.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Digit.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Empty.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Dec.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Properties.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Subset.Properties.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Subset.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Substitution.Example.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Substitution.Lemmas.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Substitution.List.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Substitution.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Float.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Graph.Acyclic.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Integer.Addition.Properties.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Integer.Divisibility.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Integer.Multiplication.Properties.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Integer.Properties.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Integer.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.List.All.Properties.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.List.All.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.List.Any.BagAndSetEquality.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.List.Any.Membership.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.List.Any.Properties.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.List.Any.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.List.Countdown.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.List.NonEmpty.Properties.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.List.NonEmpty.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.List.Properties.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.List.Reverse.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.List.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.M.Indexed.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.M.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Maybe.Core.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Maybe.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Coprimality.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.DivMod.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Divisibility.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.GCD.Lemmas.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.GCD.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.InfinitelyOften.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.LCM.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Primality.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Properties.Simple.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Properties.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Show.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Plus.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Product.N-ary.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Product.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Rational.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.ReflexiveClosure.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Sign.Properties.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Sign.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Star.BoundedVec.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Star.Decoration.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Star.Environment.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Star.Fin.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Star.List.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Star.Nat.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Star.Pointer.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Star.Properties.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Star.Vec.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Star.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Stream.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.String.Core.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.String.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Sum.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Unit.Core.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Unit.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Equality.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.N-ary.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Properties.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.W.Indexed.html
    • /usr/share/doc/Agda-stdlib-docs/html/Data.W.html
    • /usr/share/doc/Agda-stdlib-docs/html/Everything.html
    • /usr/share/doc/Agda-stdlib-docs/html/Foreign.Haskell.html
    • /usr/share/doc/Agda-stdlib-docs/html/Function.Bijection.html
    • /usr/share/doc/Agda-stdlib-docs/html/Function.Equality.html
    • /usr/share/doc/Agda-stdlib-docs/html/Function.Equivalence.html
    • /usr/share/doc/Agda-stdlib-docs/html/Function.Injection.html
    • /usr/share/doc/Agda-stdlib-docs/html/Function.Inverse.html
    • /usr/share/doc/Agda-stdlib-docs/html/Function.LeftInverse.html
    • /usr/share/doc/Agda-stdlib-docs/html/Function.Related.TypeIsomorphisms.html
    • /usr/share/doc/Agda-stdlib-docs/html/Function.Related.html
    • /usr/share/doc/Agda-stdlib-docs/html/Function.Surjection.html
    • /usr/share/doc/Agda-stdlib-docs/html/Function.html
    • /usr/share/doc/Agda-stdlib-docs/html/IO.Primitive.html
    • /usr/share/doc/Agda-stdlib-docs/html/IO.html
    • /usr/share/doc/Agda-stdlib-docs/html/Induction.Lexicographic.html
    • /usr/share/doc/Agda-stdlib-docs/html/Induction.Nat.html
    • /usr/share/doc/Agda-stdlib-docs/html/Induction.WellFounded.html
    • /usr/share/doc/Agda-stdlib-docs/html/Induction.html
    • /usr/share/doc/Agda-stdlib-docs/html/Irrelevance.html
    • /usr/share/doc/Agda-stdlib-docs/html/Level.html
    • /usr/share/doc/Agda-stdlib-docs/html/README.AVL.html
    • /usr/share/doc/Agda-stdlib-docs/html/README.Case.html
    • /usr/share/doc/Agda-stdlib-docs/html/README.Integer.html
    • /usr/share/doc/Agda-stdlib-docs/html/README.Nat.html
    • /usr/share/doc/Agda-stdlib-docs/html/README.Record.html
    • /usr/share/doc/Agda-stdlib-docs/html/README.html
    • /usr/share/doc/Agda-stdlib-docs/html/Record.html
    • /usr/share/doc/Agda-stdlib-docs/html/Reflection.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Consequences.Core.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Consequences.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Core.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.EqReasoning.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Flip.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.HeterogeneousEquality.Core.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.HeterogeneousEquality.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Indexed.Core.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Indexed.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.InducedPreorders.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.List.NonStrictLex.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.List.Pointwise.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.List.StrictLex.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.NonStrictToStrict.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.On.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.OrderMorphism.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PartialOrderReasoning.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PreorderReasoning.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Product.NonStrictLex.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Product.Pointwise.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Product.StrictLex.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.DecTotalOrder.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.Poset.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.Preorder.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.StrictPartialOrder.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.StrictTotalOrder.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.TotalOrder.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.Core.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.TrustMe.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reflection.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.SetoidReasoning.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Sigma.Pointwise.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Simple.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.StrictPartialOrderReasoning.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.StrictToNonStrict.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Sum.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Vec.Pointwise.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Core.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Decidable.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Implication.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Negation.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Product.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Sum.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Universe.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.PredicateTransformer.html
    • /usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.html
    • /usr/share/doc/Agda-stdlib-docs/html/Size.html
    • /usr/share/doc/Agda-stdlib-docs/html/Universe.html

    Changelog

    Advertisement
    Advertisement