ghc-Agda-doc-2.6.2-32.fc35 - Fedora Packages

Date	Author	Change
2021-08-05	Jens Petersen <petersen at redhat dot com> - 2.6.2-32	- update to 2.6.2 - https://hackage.haskell.org/package/Agda-2.6.2/changelog - disable armv7hl due to out of memory (#73471404)
2021-08-05	Jens Petersen <petersen at redhat dot com> - 2.6.1.3-32	- update to 2.6.1.3
2021-07-21	Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.1-31	- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-01-25	Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.1-30	- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2020-10-11	Jeff Law <aw at redhat dot com> - 2.6.1-29	- Re-enable LTO
2020-09-01	Jens Petersen <petersen at redhat dot com> - 2.6.1-28	- uri-encode has been packaged
2020-07-31	Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.1-27	- Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
2020-07-27	Jeff Law <aw at redhat dot com> - 2.6.1-26	- Disable LTO on s390
2020-07-27	Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.1-25	- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
2020-07-20	Jens Petersen <petersen at redhat dot com> - 2.6.1-24	- enable armv7hl with -O0

usr/
- share/
  - doc/
    - ghc/
      - html/
        
        libraries/
        
        Agda-2.6.2/
        
        Agda-Auto-Auto.html
        
        Agda-Auto-CaseSplit.html
        
        Agda-Auto-Convert.html
        
        Agda-Auto-NarrowingSearch.html
        
        Agda-Auto-Options.html
        
        Agda-Auto-SearchControl.html
        
        Agda-Auto-Syntax.html
        
        Agda-Auto-Typecheck.html
        
        Agda-Benchmarking.html
        
        Agda-Compiler-Backend.html
        
        Agda-Compiler-Builtin.html
        
        Agda-Compiler-CallCompiler.html
        
        Agda-Compiler-Common.html
        
        Agda-Compiler-JS-Compiler.html
        
        Agda-Compiler-JS-Pretty.html
        
        Agda-Compiler-JS-Substitution.html
        
        Agda-Compiler-JS-Syntax.html
        
        Agda-Compiler-MAlonzo-Coerce.html
        
        Agda-Compiler-MAlonzo-Compiler.html
        
        Agda-Compiler-MAlonzo-Encode.html
        
        Agda-Compiler-MAlonzo-HaskellTypes.html
        
        Agda-Compiler-MAlonzo-Misc.html
        
        Agda-Compiler-MAlonzo-Pragmas.html
        
        Agda-Compiler-MAlonzo-Pretty.html
        
        Agda-Compiler-MAlonzo-Primitives.html
        
        Agda-Compiler-ToTreeless.html
        
        Agda-Compiler-Treeless-AsPatterns.html
        
        Agda-Compiler-Treeless-Builtin.html
        
        Agda-Compiler-Treeless-Compare.html
        
        Agda-Compiler-Treeless-EliminateDefaults.html
        
        Agda-Compiler-Treeless-EliminateLiteralPatterns.html
        
        Agda-Compiler-Treeless-Erase.html
        
        Agda-Compiler-Treeless-GuardsToPrims.html
        
        Agda-Compiler-Treeless-Identity.html
        
        Agda-Compiler-Treeless-NormalizeNames.html
        
        Agda-Compiler-Treeless-Pretty.html
        
        Agda-Compiler-Treeless-Simplify.html
        
        Agda-Compiler-Treeless-Subst.html
        
        Agda-Compiler-Treeless-Uncase.html
        
        Agda-Compiler-Treeless-Unused.html
        
        Agda-ImpossibleTest.html
        
        Agda-Interaction-AgdaTop.html
        
        Agda-Interaction-Base.html
        
        Agda-Interaction-BasicOps.html
        
        Agda-Interaction-CommandLine.html
        
        Agda-Interaction-EmacsCommand.html
        
        Agda-Interaction-EmacsTop.html
        
        Agda-Interaction-ExitCode.html
        
        Agda-Interaction-FindFile.html
        
        Agda-Interaction-Highlighting-Common.html
        
        Agda-Interaction-Highlighting-Dot.html
        
        Agda-Interaction-Highlighting-Emacs.html
        
        Agda-Interaction-Highlighting-FromAbstract.html
        
        Agda-Interaction-Highlighting-Generate.html
        
        Agda-Interaction-Highlighting-HTML.html
        
        Agda-Interaction-Highlighting-JSON.html
        
        Agda-Interaction-Highlighting-LaTeX.html
        
        Agda-Interaction-Highlighting-Precise.html
        
        Agda-Interaction-Highlighting-Range.html
        
        Agda-Interaction-Highlighting-Vim.html
        
        Agda-Interaction-Imports.html
        
        Agda-Interaction-InteractionTop.html
        
        Agda-Interaction-JSON.html
        
        Agda-Interaction-JSONTop.html
        
        Agda-Interaction-Library-Base.html
        
        Agda-Interaction-Library-Parse.html
        
        Agda-Interaction-Library.html
        
        Agda-Interaction-MakeCase.html
        
        Agda-Interaction-Monad.html
        
        Agda-Interaction-Options-Help.html
        
        Agda-Interaction-Options-Lenses.html
        
        Agda-Interaction-Options-Warnings.html
        
        Agda-Interaction-Options.html
        
        Agda-Interaction-Response.html
        
        Agda-Interaction-SearchAbout.html
        
        Agda-Main.html
        
        Agda-Syntax-Abstract-Name.html
        
        Agda-Syntax-Abstract-Pattern.html
        
        Agda-Syntax-Abstract-PatternSynonyms.html
        
        Agda-Syntax-Abstract-Pretty.html
        
        Agda-Syntax-Abstract-Views.html
        
        Agda-Syntax-Abstract.html
        
        Agda-Syntax-Builtin.html
        
        Agda-Syntax-Common.html
        
        Agda-Syntax-Concrete-Attribute.html
        
        Agda-Syntax-Concrete-Definitions-Errors.html
        
        Agda-Syntax-Concrete-Definitions-Monad.html
        
        Agda-Syntax-Concrete-Definitions-Types.html
        
        Agda-Syntax-Concrete-Definitions.html
        
        Agda-Syntax-Concrete-Fixity.html
        
        Agda-Syntax-Concrete-Generic.html
        
        Agda-Syntax-Concrete-Glyph.html
        
        Agda-Syntax-Concrete-Name.html
        
        Agda-Syntax-Concrete-Operators-Parser-Monad.html
        
        Agda-Syntax-Concrete-Operators-Parser.html
        
        Agda-Syntax-Concrete-Operators.html
        
        Agda-Syntax-Concrete-Pattern.html
        
        Agda-Syntax-Concrete-Pretty.html
        
        Agda-Syntax-Concrete.html
        
        Agda-Syntax-DoNotation.html
        
        Agda-Syntax-Fixity.html
        
        Agda-Syntax-IdiomBrackets.html
        
        Agda-Syntax-Info.html
        
        Agda-Syntax-Internal-Blockers.html
        
        Agda-Syntax-Internal-Defs.html
        
        Agda-Syntax-Internal-Elim.html
        
        Agda-Syntax-Internal-Generic.html
        
        Agda-Syntax-Internal-MetaVars.html
        
        Agda-Syntax-Internal-Names.html
        
        Agda-Syntax-Internal-Pattern.html
        
        Agda-Syntax-Internal-SanityCheck.html
        
        Agda-Syntax-Internal.html
        
        Agda-Syntax-Literal.html
        
        Agda-Syntax-Notation.html
        
        Agda-Syntax-Parser-Alex.html
        
        Agda-Syntax-Parser-Comments.html
        
        Agda-Syntax-Parser-Layout.html
        
        Agda-Syntax-Parser-LexActions.html
        
        Agda-Syntax-Parser-Lexer.html
        
        Agda-Syntax-Parser-Literate.html
        
        Agda-Syntax-Parser-LookAhead.html
        
        Agda-Syntax-Parser-Monad.html
        
        Agda-Syntax-Parser-Parser.html
        
        Agda-Syntax-Parser-StringLiterals.html
        
        Agda-Syntax-Parser-Tokens.html
        
        Agda-Syntax-Parser.html
        
        Agda-Syntax-Position.html
        
        Agda-Syntax-Reflected.html
        
        Agda-Syntax-Scope-Base.html
        
        Agda-Syntax-Scope-Monad.html
        
        Agda-Syntax-Translation-AbstractToConcrete.html
        
        Agda-Syntax-Translation-ConcreteToAbstract.html
        
        Agda-Syntax-Translation-InternalToAbstract.html
        
        Agda-Syntax-Translation-ReflectedToAbstract.html
        
        Agda-Syntax-Treeless.html
        
        Agda-Termination-CallGraph.html
        
        Agda-Termination-CallMatrix.html
        
        Agda-Termination-CutOff.html
        
        Agda-Termination-Monad.html
        
        Agda-Termination-Order.html
        
        Agda-Termination-RecCheck.html
        
        Agda-Termination-Semiring.html
        
        Agda-Termination-SparseMatrix.html
        
        Agda-Termination-TermCheck.html
        
        Agda-Termination-Termination.html
        
        Agda-TheTypeChecker.html
        
        Agda-TypeChecking-Abstract.html
        
        Agda-TypeChecking-CheckInternal.html
        
        Agda-TypeChecking-CompiledClause-Compile.html
        
        Agda-TypeChecking-CompiledClause-Match.html
        
        Agda-TypeChecking-CompiledClause.html
        
        Agda-TypeChecking-Constraints.html
        
        Agda-TypeChecking-Conversion-Pure.html
        
        Agda-TypeChecking-Conversion.html
        
        Agda-TypeChecking-Coverage-Match.html
        
        Agda-TypeChecking-Coverage-SplitTree.html
        
        Agda-TypeChecking-Coverage.html
        
        Agda-TypeChecking-Datatypes.html
        
        Agda-TypeChecking-DeadCode.html
        
        Agda-TypeChecking-DisplayForm.html
        
        Agda-TypeChecking-DropArgs.html
        
        Agda-TypeChecking-Empty.html
        
        Agda-TypeChecking-Errors.html
        
        Agda-TypeChecking-EtaContract.html
        
        Agda-TypeChecking-EtaExpand.html
        
        Agda-TypeChecking-Forcing.html
        
        Agda-TypeChecking-Free-Lazy.html
        
        Agda-TypeChecking-Free-Precompute.html
        
        Agda-TypeChecking-Free-Reduce.html
        
        Agda-TypeChecking-Free.html
        
        Agda-TypeChecking-Functions.html
        
        Agda-TypeChecking-Generalize.html
        
        Agda-TypeChecking-IApplyConfluence.html
        
        Agda-TypeChecking-Implicit.html
        
        Agda-TypeChecking-Injectivity.html
        
        Agda-TypeChecking-Inlining.html
        
        Agda-TypeChecking-InstanceArguments.html
        
        Agda-TypeChecking-Irrelevance.html
        
        Agda-TypeChecking-Level-Solve.html
        
        Agda-TypeChecking-Level.html
        
        Agda-TypeChecking-LevelConstraints.html
        
        Agda-TypeChecking-Lock.html
        
        Agda-TypeChecking-MetaVars-Mention.html
        
        Agda-TypeChecking-MetaVars-Occurs.html
        
        Agda-TypeChecking-MetaVars.html
        
        Agda-TypeChecking-Monad-Base.html
        
        Agda-TypeChecking-Monad-Benchmark.html
        
        Agda-TypeChecking-Monad-Builtin.html
        
        Agda-TypeChecking-Monad-Caching.html
        
        Agda-TypeChecking-Monad-Closure.html
        
        Agda-TypeChecking-Monad-Constraints.html
        
        Agda-TypeChecking-Monad-Context.html
        
        Agda-TypeChecking-Monad-Debug.html
        
        Agda-TypeChecking-Monad-Env.html
        
        Agda-TypeChecking-Monad-Imports.html
        
        Agda-TypeChecking-Monad-MetaVars.html
        
        Agda-TypeChecking-Monad-Mutual.html
        
        Agda-TypeChecking-Monad-Open.html
        
        Agda-TypeChecking-Monad-Options.html
        
        Agda-TypeChecking-Monad-Pure.html
        
        Agda-TypeChecking-Monad-Signature.html
        
        Agda-TypeChecking-Monad-SizedTypes.html
        
        Agda-TypeChecking-Monad-State.html
        
        Agda-TypeChecking-Monad-Statistics.html
        
        Agda-TypeChecking-Monad-Trace.html
        
        Agda-TypeChecking-Monad.html
        
        Agda-TypeChecking-Names.html
        
        Agda-TypeChecking-Patterns-Abstract.html
        
        Agda-TypeChecking-Patterns-Internal.html
        
        Agda-TypeChecking-Patterns-Match.html
        
        Agda-TypeChecking-Polarity.html
        
        Agda-TypeChecking-Positivity-Occurrence.html
        
        Agda-TypeChecking-Positivity.html
        
        Agda-TypeChecking-Pretty-Call.html
        
        Agda-TypeChecking-Pretty-Constraint.html
        
        Agda-TypeChecking-Pretty-Warning.html
        
        Agda-TypeChecking-Pretty.html
        
        Agda-TypeChecking-Primitive-Base.html
        
        Agda-TypeChecking-Primitive-Cubical.html
        
        Agda-TypeChecking-Primitive.html
        
        Agda-TypeChecking-ProjectionLike.html
        
        Agda-TypeChecking-Quote.html
        
        Agda-TypeChecking-ReconstructParameters.html
        
        Agda-TypeChecking-RecordPatterns.html
        
        Agda-TypeChecking-Records.html
        
        Agda-TypeChecking-Reduce-Fast.html
        
        Agda-TypeChecking-Reduce-Monad.html
        
        Agda-TypeChecking-Reduce.html
        
        Agda-TypeChecking-Rewriting-Clause.html
        
        Agda-TypeChecking-Rewriting-Confluence.html
        
        Agda-TypeChecking-Rewriting-NonLinMatch.html
        
        Agda-TypeChecking-Rewriting-NonLinPattern.html
        
        Agda-TypeChecking-Rewriting.html
        
        Agda-TypeChecking-Rules-Application.html
        
        Agda-TypeChecking-Rules-Builtin-Coinduction.html
        
        Agda-TypeChecking-Rules-Builtin.html
        
        Agda-TypeChecking-Rules-Data.html
        
        Agda-TypeChecking-Rules-Decl.html
        
        Agda-TypeChecking-Rules-Def.html
        
        Agda-TypeChecking-Rules-Display.html
        
        Agda-TypeChecking-Rules-LHS-Implicit.html
        
        Agda-TypeChecking-Rules-LHS-Problem.html
        
        Agda-TypeChecking-Rules-LHS-ProblemRest.html
        
        Agda-TypeChecking-Rules-LHS-Unify.html
        
        Agda-TypeChecking-Rules-LHS.html
        
        Agda-TypeChecking-Rules-Record.html
        
        Agda-TypeChecking-Rules-Term.html
        
        Agda-TypeChecking-Serialise-Base.html
        
        Agda-TypeChecking-Serialise-Instances-Abstract.html
        
        Agda-TypeChecking-Serialise-Instances-Common.html
        
        Agda-TypeChecking-Serialise-Instances-Compilers.html
        
        Agda-TypeChecking-Serialise-Instances-Errors.html
        
        Agda-TypeChecking-Serialise-Instances-Highlighting.html
        
        Agda-TypeChecking-Serialise-Instances-Internal.html
        
        Agda-TypeChecking-Serialise-Instances.html
        
        Agda-TypeChecking-Serialise.html
        
        Agda-TypeChecking-SizedTypes-Solve.html
        
        Agda-TypeChecking-SizedTypes-Syntax.html
        
        Agda-TypeChecking-SizedTypes-Utils.html
        
        Agda-TypeChecking-SizedTypes-WarshallSolver.html
        
        Agda-TypeChecking-SizedTypes.html
        
        Agda-TypeChecking-Sort.html
        
        Agda-TypeChecking-Substitute-Class.html
        
        Agda-TypeChecking-Substitute-DeBruijn.html
        
        Agda-TypeChecking-Substitute.html
        
        Agda-TypeChecking-SyntacticEquality.html
        
        Agda-TypeChecking-Telescope-Path.html
        
        Agda-TypeChecking-Telescope.html
        
        Agda-TypeChecking-Unquote.html
        
        Agda-TypeChecking-Warnings.html
        
        Agda-TypeChecking-With.html
        
        Agda-Utils-AffineHole.html
        
        Agda-Utils-Applicative.html
        
        Agda-Utils-AssocList.html
        
        Agda-Utils-Bag.html
        
        Agda-Utils-Benchmark.html
        
        Agda-Utils-BiMap.html
        
        Agda-Utils-CallStack.html
        
        Agda-Utils-Char.html
        
        Agda-Utils-Cluster.html
        
        Agda-Utils-Either.html
        
        Agda-Utils-Empty.html
        
        Agda-Utils-Environment.html
        
        Agda-Utils-Fail.html
        
        Agda-Utils-Favorites.html
        
        Agda-Utils-FileName.html
        
        Agda-Utils-Float.html
        
        Agda-Utils-Function.html
        
        Agda-Utils-Functor.html
        
        Agda-Utils-Graph-AdjacencyMap-Unidirectional.html
        
        Agda-Utils-Graph-TopSort.html
        
        Agda-Utils-Hash.html
        
        Agda-Utils-Haskell-Syntax.html
        
        Agda-Utils-IO-Binary.html
        
        Agda-Utils-IO-Directory.html
        
        Agda-Utils-IO-TempFile.html
        
        Agda-Utils-IO-UTF8.html
        
        Agda-Utils-IO.html
        
        Agda-Utils-IORef.html
        
        Agda-Utils-Impossible.html
        
        Agda-Utils-IndexedList.html
        
        Agda-Utils-IntSet-Infinite.html
        
        Agda-Utils-Lens-Examples.html
        
        Agda-Utils-Lens.html
        
        Agda-Utils-List.html
        
        Agda-Utils-List1.html
        
        Agda-Utils-List2.html
        
        Agda-Utils-ListT.html
        
        Agda-Utils-Map.html
        
        Agda-Utils-Maybe-Strict.html
        
        Agda-Utils-Maybe.html
        
        Agda-Utils-Memo.html
        
        Agda-Utils-Monad.html
        
        Agda-Utils-Monoid.html
        
        Agda-Utils-Null.html
        
        Agda-Utils-POMonoid.html
        
        Agda-Utils-Parser-MemoisedCPS.html
        
        Agda-Utils-PartialOrd.html
        
        Agda-Utils-Permutation.html
        
        Agda-Utils-Pointer.html
        
        Agda-Utils-Pretty.html
        
        Agda-Utils-RangeMap.html
        
        Agda-Utils-SemiRing.html
        
        Agda-Utils-Semigroup.html
        
        Agda-Utils-Singleton.html
        
        Agda-Utils-Size.html
        
        Agda-Utils-SmallSet.html
        
        Agda-Utils-String.html
        
        Agda-Utils-Suffix.html
        
        Agda-Utils-Three.html
        
        Agda-Utils-Time.html
        
        Agda-Utils-Trie.html
        
        Agda-Utils-Tuple.html
        
        Agda-Utils-TypeLevel.html
        
        Agda-Utils-TypeLits.html
        
        Agda-Utils-Update.html
        
        Agda-Utils-VarSet.html
        
        Agda-Utils-Warshall.html
        
        Agda-Utils-WithDefault.html
        
        Agda-Utils-Zipper.html
        
        Agda-Version.html
        
        Agda-VersionCommit.html
        
        Agda.haddock
        
        Agda.txt
        
        doc-index-33.html
        
        doc-index-35.html
        
        doc-index-36.html
        
        doc-index-37.html
        
        doc-index-43.html
        
        doc-index-45.html
        
        doc-index-46.html
        
        doc-index-47.html
        
        doc-index-58.html
        
        doc-index-60.html
        
        doc-index-61.html
        
        doc-index-62.html
        
        doc-index-63.html
        
        doc-index-64.html
        
        doc-index-92.html
        
        doc-index-94.html
        
        doc-index-95.html
        
        doc-index-A.html
        
        doc-index-All.html
        
        doc-index-B.html
        
        doc-index-C.html
        
        doc-index-D.html
        
        doc-index-E.html
        
        doc-index-F.html
        
        doc-index-G.html
        
        doc-index-H.html
        
        doc-index-I.html
        
        doc-index-J.html
        
        doc-index-K.html
        
        doc-index-L.html
        
        doc-index-M.html
        
        doc-index-N.html
        
        doc-index-O.html
        
        doc-index-P.html
        
        doc-index-Q.html
        
        doc-index-R.html
        
        doc-index-S.html
        
        doc-index-T.html
        
        doc-index-U.html
        
        doc-index-V.html
        
        doc-index-W.html
        
        doc-index-X.html
        
        doc-index-Y.html
        
        doc-index-Z.html
        
        doc-index.html
        
        haddock-bundle.min.js
        
        index.html
        
        linuwial.css
        
        meta.json
        
        quick-jump.css
        
        src/
        
        Agda.Auto.Auto.html
        
        Agda.Auto.CaseSplit.html
        
        Agda.Auto.Convert.html
        
        Agda.Auto.NarrowingSearch.html
        
        Agda.Auto.Options.html
        
        Agda.Auto.SearchControl.html
        
        Agda.Auto.Syntax.html
        
        Agda.Auto.Typecheck.html
        
        Agda.Benchmarking.html
        
        Agda.Compiler.Backend.html
        
        Agda.Compiler.Builtin.html
        
        Agda.Compiler.CallCompiler.html
        
        Agda.Compiler.Common.html
        
        Agda.Compiler.JS.Compiler.html
        
        Agda.Compiler.JS.Pretty.html
        
        Agda.Compiler.JS.Substitution.html
        
        Agda.Compiler.JS.Syntax.html
        
        Agda.Compiler.MAlonzo.Coerce.html
        
        Agda.Compiler.MAlonzo.Compiler.html
        
        Agda.Compiler.MAlonzo.Encode.html
        
        Agda.Compiler.MAlonzo.HaskellTypes.html
        
        Agda.Compiler.MAlonzo.Misc.html
        
        Agda.Compiler.MAlonzo.Pragmas.html
        
        Agda.Compiler.MAlonzo.Pretty.html
        
        Agda.Compiler.MAlonzo.Primitives.html
        
        Agda.Compiler.ToTreeless.html
        
        Agda.Compiler.Treeless.AsPatterns.html
        
        Agda.Compiler.Treeless.Builtin.html
        
        Agda.Compiler.Treeless.Compare.html
        
        Agda.Compiler.Treeless.EliminateDefaults.html
        
        Agda.Compiler.Treeless.EliminateLiteralPatterns.html
        
        Agda.Compiler.Treeless.Erase.html
        
        Agda.Compiler.Treeless.GuardsToPrims.html
        
        Agda.Compiler.Treeless.Identity.html
        
        Agda.Compiler.Treeless.NormalizeNames.html
        
        Agda.Compiler.Treeless.Pretty.html
        
        Agda.Compiler.Treeless.Simplify.html
        
        Agda.Compiler.Treeless.Subst.html
        
        Agda.Compiler.Treeless.Uncase.html
        
        Agda.Compiler.Treeless.Unused.html
        
        Agda.ImpossibleTest.html
        
        Agda.Interaction.AgdaTop.html
        
        Agda.Interaction.Base.html
        
        Agda.Interaction.BasicOps.html
        
        Agda.Interaction.CommandLine.html
        
        Agda.Interaction.EmacsCommand.html
        
        Agda.Interaction.EmacsTop.html
        
        Agda.Interaction.ExitCode.html
        
        Agda.Interaction.FindFile.html
        
        Agda.Interaction.Highlighting.Common.html
        
        Agda.Interaction.Highlighting.Dot.Backend.html
        
        Agda.Interaction.Highlighting.Dot.Base.html
        
        Agda.Interaction.Highlighting.Dot.html
        
        Agda.Interaction.Highlighting.Emacs.html
        
        Agda.Interaction.Highlighting.FromAbstract.html
        
        Agda.Interaction.Highlighting.Generate.html
        
        Agda.Interaction.Highlighting.HTML.Backend.html
        
        Agda.Interaction.Highlighting.HTML.Base.html
        
        Agda.Interaction.Highlighting.HTML.html
        
        Agda.Interaction.Highlighting.JSON.html
        
        Agda.Interaction.Highlighting.LaTeX.Backend.html
        
        Agda.Interaction.Highlighting.LaTeX.Base.html
        
        Agda.Interaction.Highlighting.LaTeX.html
        
        Agda.Interaction.Highlighting.Precise.html
        
        Agda.Interaction.Highlighting.Range.html
        
        Agda.Interaction.Highlighting.Vim.html
        
        Agda.Interaction.Imports.html
        
        Agda.Interaction.InteractionTop.html
        
        Agda.Interaction.JSON.html
        
        Agda.Interaction.JSONTop.html
        
        Agda.Interaction.Library.Base.html
        
        Agda.Interaction.Library.Parse.html
        
        Agda.Interaction.Library.html
        
        Agda.Interaction.MakeCase.html
        
        Agda.Interaction.Monad.html
        
        Agda.Interaction.Options.Base.html
        
        Agda.Interaction.Options.HasOptions.html
        
        Agda.Interaction.Options.Help.html
        
        Agda.Interaction.Options.Lenses.html
        
        Agda.Interaction.Options.Warnings.html
        
        Agda.Interaction.Options.html
        
        Agda.Interaction.Response.html
        
        Agda.Interaction.SearchAbout.html
        
        Agda.Main.html
        
        Agda.Syntax.Abstract.Name.html
        
        Agda.Syntax.Abstract.Pattern.html
        
        Agda.Syntax.Abstract.PatternSynonyms.html
        
        Agda.Syntax.Abstract.Pretty.html
        
        Agda.Syntax.Abstract.Views.html
        
        Agda.Syntax.Abstract.html
        
        Agda.Syntax.Builtin.html
        
        Agda.Syntax.Common.html
        
        Agda.Syntax.Concrete.Attribute.html
        
        Agda.Syntax.Concrete.Definitions.Errors.html
        
        Agda.Syntax.Concrete.Definitions.Monad.html
        
        Agda.Syntax.Concrete.Definitions.Types.html
        
        Agda.Syntax.Concrete.Definitions.html
        
        Agda.Syntax.Concrete.Fixity.html
        
        Agda.Syntax.Concrete.Generic.html
        
        Agda.Syntax.Concrete.Glyph.html
        
        Agda.Syntax.Concrete.Name.html
        
        Agda.Syntax.Concrete.Operators.Parser.Monad.html
        
        Agda.Syntax.Concrete.Operators.Parser.html
        
        Agda.Syntax.Concrete.Operators.html
        
        Agda.Syntax.Concrete.Pattern.html
        
        Agda.Syntax.Concrete.Pretty.html
        
        Agda.Syntax.Concrete.html
        
        Agda.Syntax.DoNotation.html
        
        Agda.Syntax.Fixity.html
        
        Agda.Syntax.IdiomBrackets.html
        
        Agda.Syntax.Info.html
        
        Agda.Syntax.Internal.Blockers.html
        
        Agda.Syntax.Internal.Defs.html
        
        Agda.Syntax.Internal.Elim.html
        
        Agda.Syntax.Internal.Generic.html
        
        Agda.Syntax.Internal.MetaVars.html
        
        Agda.Syntax.Internal.Names.html
        
        Agda.Syntax.Internal.Pattern.html
        
        Agda.Syntax.Internal.SanityCheck.html
        
        Agda.Syntax.Internal.html
        
        Agda.Syntax.Literal.html
        
        Agda.Syntax.Notation.html
        
        Agda.Syntax.Parser.Alex.html
        
        Agda.Syntax.Parser.Comments.html
        
        Agda.Syntax.Parser.Layout.html
        
        Agda.Syntax.Parser.LexActions.html
        
        Agda.Syntax.Parser.Lexer.html
        
        Agda.Syntax.Parser.Literate.html
        
        Agda.Syntax.Parser.LookAhead.html
        
        Agda.Syntax.Parser.Monad.html
        
        Agda.Syntax.Parser.Parser.html
        
        Agda.Syntax.Parser.StringLiterals.html
        
        Agda.Syntax.Parser.Tokens.html
        
        Agda.Syntax.Parser.html
        
        Agda.Syntax.Position.html
        
        Agda.Syntax.Reflected.html
        
        Agda.Syntax.Scope.Base.html
        
        Agda.Syntax.Scope.Monad.html
        
        Agda.Syntax.Translation.AbstractToConcrete.html
        
        Agda.Syntax.Translation.ConcreteToAbstract.html
        
        Agda.Syntax.Translation.InternalToAbstract.html
        
        Agda.Syntax.Translation.ReflectedToAbstract.html
        
        Agda.Syntax.Treeless.html
        
        Agda.Termination.CallGraph.html
        
        Agda.Termination.CallMatrix.html
        
        Agda.Termination.CutOff.html
        
        Agda.Termination.Monad.html
        
        Agda.Termination.Order.html
        
        Agda.Termination.RecCheck.html
        
        Agda.Termination.Semiring.html
        
        Agda.Termination.SparseMatrix.html
        
        Agda.Termination.TermCheck.html
        
        Agda.Termination.Termination.html
        
        Agda.TheTypeChecker.html
        
        Agda.TypeChecking.Abstract.html
        
        Agda.TypeChecking.CheckInternal.html
        
        Agda.TypeChecking.CompiledClause.Compile.html
        
        Agda.TypeChecking.CompiledClause.Match.html
        
        Agda.TypeChecking.CompiledClause.html
        
        Agda.TypeChecking.Constraints.html
        
        Agda.TypeChecking.Conversion.Pure.html
        
        Agda.TypeChecking.Conversion.html
        
        Agda.TypeChecking.Coverage.Match.html
        
        Agda.TypeChecking.Coverage.SplitTree.html
        
        Agda.TypeChecking.Coverage.html
        
        Agda.TypeChecking.Datatypes.html
        
        Agda.TypeChecking.DeadCode.html
        
        Agda.TypeChecking.DisplayForm.html
        
        Agda.TypeChecking.DropArgs.html
        
        Agda.TypeChecking.Empty.html
        
        Agda.TypeChecking.Errors.html
        
        Agda.TypeChecking.EtaContract.html
        
        Agda.TypeChecking.EtaExpand.html
        
        Agda.TypeChecking.Forcing.html
        
        Agda.TypeChecking.Free.Lazy.html
        
        Agda.TypeChecking.Free.Precompute.html
        
        Agda.TypeChecking.Free.Reduce.html
        
        Agda.TypeChecking.Free.html
        
        Agda.TypeChecking.Functions.html
        
        Agda.TypeChecking.Generalize.html
        
        Agda.TypeChecking.IApplyConfluence.html
        
        Agda.TypeChecking.Implicit.html
        
        Agda.TypeChecking.Injectivity.html
        
        Agda.TypeChecking.Inlining.html
        
        Agda.TypeChecking.InstanceArguments.html
        
        Agda.TypeChecking.Irrelevance.html
        
        Agda.TypeChecking.Level.Solve.html
        
        Agda.TypeChecking.Level.html
        
        Agda.TypeChecking.LevelConstraints.html
        
        Agda.TypeChecking.Lock.html
        
        Agda.TypeChecking.MetaVars.Mention.html
        
        Agda.TypeChecking.MetaVars.Occurs.html
        
        Agda.TypeChecking.MetaVars.html
        
        Agda.TypeChecking.Monad.Base.html
        
        Agda.TypeChecking.Monad.Benchmark.html
        
        Agda.TypeChecking.Monad.Builtin.html
        
        Agda.TypeChecking.Monad.Caching.html
        
        Agda.TypeChecking.Monad.Closure.html
        
        Agda.TypeChecking.Monad.Constraints.html
        
        Agda.TypeChecking.Monad.Context.html
        
        Agda.TypeChecking.Monad.Debug.html
        
        Agda.TypeChecking.Monad.Env.html
        
        Agda.TypeChecking.Monad.Imports.html
        
        Agda.TypeChecking.Monad.MetaVars.html
        
        Agda.TypeChecking.Monad.Mutual.html
        
        Agda.TypeChecking.Monad.Open.html
        
        Agda.TypeChecking.Monad.Options.html
        
        Agda.TypeChecking.Monad.Pure.html
        
        Agda.TypeChecking.Monad.Signature.html
        
        Agda.TypeChecking.Monad.SizedTypes.html
        
        Agda.TypeChecking.Monad.State.html
        
        Agda.TypeChecking.Monad.Statistics.html
        
        Agda.TypeChecking.Monad.Trace.html
        
        Agda.TypeChecking.Monad.html
        
        Agda.TypeChecking.Names.html
        
        Agda.TypeChecking.Patterns.Abstract.html
        
        Agda.TypeChecking.Patterns.Internal.html
        
        Agda.TypeChecking.Patterns.Match.html
        
        Agda.TypeChecking.Polarity.html
        
        Agda.TypeChecking.Positivity.Occurrence.html
        
        Agda.TypeChecking.Positivity.html
        
        Agda.TypeChecking.Pretty.Call.html
        
        Agda.TypeChecking.Pretty.Constraint.html
        
        Agda.TypeChecking.Pretty.Warning.html
        
        Agda.TypeChecking.Pretty.html
        
        Agda.TypeChecking.Primitive.Base.html
        
        Agda.TypeChecking.Primitive.Cubical.html
        
        Agda.TypeChecking.Primitive.html
        
        Agda.TypeChecking.ProjectionLike.html
        
        Agda.TypeChecking.Quote.html
        
        Agda.TypeChecking.ReconstructParameters.html
        
        Agda.TypeChecking.RecordPatterns.html
        
        Agda.TypeChecking.Records.html
        
        Agda.TypeChecking.Reduce.Fast.html
        
        Agda.TypeChecking.Reduce.Monad.html
        
        Agda.TypeChecking.Reduce.html
        
        Agda.TypeChecking.Rewriting.Clause.html
        
        Agda.TypeChecking.Rewriting.Confluence.html
        
        Agda.TypeChecking.Rewriting.NonLinMatch.html
        
        Agda.TypeChecking.Rewriting.NonLinPattern.html
        
        Agda.TypeChecking.Rewriting.html
        
        Agda.TypeChecking.Rules.Application.html
        
        Agda.TypeChecking.Rules.Builtin.Coinduction.html
        
        Agda.TypeChecking.Rules.Builtin.html
        
        Agda.TypeChecking.Rules.Data.html
        
        Agda.TypeChecking.Rules.Decl.html
        
        Agda.TypeChecking.Rules.Def.html
        
        Agda.TypeChecking.Rules.Display.html
        
        Agda.TypeChecking.Rules.LHS.Implicit.html
        
        Agda.TypeChecking.Rules.LHS.Problem.html
        
        Agda.TypeChecking.Rules.LHS.ProblemRest.html
        
        Agda.TypeChecking.Rules.LHS.Unify.html
        
        Agda.TypeChecking.Rules.LHS.html
        
        Agda.TypeChecking.Rules.Record.html
        
        Agda.TypeChecking.Rules.Term.html
        
        Agda.TypeChecking.Serialise.Base.html
        
        Agda.TypeChecking.Serialise.Instances.Abstract.html
        
        Agda.TypeChecking.Serialise.Instances.Common.html
        
        Agda.TypeChecking.Serialise.Instances.Compilers.html
        
        Agda.TypeChecking.Serialise.Instances.Errors.html
        
        Agda.TypeChecking.Serialise.Instances.Highlighting.html
        
        Agda.TypeChecking.Serialise.Instances.Internal.html
        
        Agda.TypeChecking.Serialise.Instances.html
        
        Agda.TypeChecking.Serialise.html
        
        Agda.TypeChecking.SizedTypes.Solve.html
        
        Agda.TypeChecking.SizedTypes.Syntax.html
        
        Agda.TypeChecking.SizedTypes.Utils.html
        
        Agda.TypeChecking.SizedTypes.WarshallSolver.html
        
        Agda.TypeChecking.SizedTypes.html
        
        Agda.TypeChecking.Sort.html
        
        Agda.TypeChecking.Substitute.Class.html
        
        Agda.TypeChecking.Substitute.DeBruijn.html
        
        Agda.TypeChecking.Substitute.html
        
        Agda.TypeChecking.SyntacticEquality.html
        
        Agda.TypeChecking.Telescope.Path.html
        
        Agda.TypeChecking.Telescope.html
        
        Agda.TypeChecking.Unquote.html
        
        Agda.TypeChecking.Warnings.html
        
        Agda.TypeChecking.With.html
        
        Agda.Utils.AffineHole.html
        
        Agda.Utils.Applicative.html
        
        Agda.Utils.AssocList.html
        
        Agda.Utils.Bag.html
        
        Agda.Utils.Benchmark.html
        
        Agda.Utils.BiMap.html
        
        Agda.Utils.CallStack.Base.html
        
        Agda.Utils.CallStack.Pretty.html
        
        Agda.Utils.CallStack.html
        
        Agda.Utils.Char.html
        
        Agda.Utils.Cluster.html
        
        Agda.Utils.Either.html
        
        Agda.Utils.Empty.html
        
        Agda.Utils.Environment.html
        
        Agda.Utils.Fail.html
        
        Agda.Utils.Favorites.html
        
        Agda.Utils.FileName.html
        
        Agda.Utils.Float.html
        
        Agda.Utils.Function.html
        
        Agda.Utils.Functor.html
        
        Agda.Utils.Graph.AdjacencyMap.Unidirectional.html
        
        Agda.Utils.Graph.TopSort.html
        
        Agda.Utils.Hash.html
        
        Agda.Utils.Haskell.Syntax.html
        
        Agda.Utils.IO.Binary.html
        
        Agda.Utils.IO.Directory.html
        
        Agda.Utils.IO.TempFile.html
        
        Agda.Utils.IO.UTF8.html
        
        Agda.Utils.IO.html
        
        Agda.Utils.IORef.html
        
        Agda.Utils.Impossible.html
        
        Agda.Utils.IndexedList.html
        
        Agda.Utils.IntSet.Infinite.html
        
        Agda.Utils.Lens.Examples.html
        
        Agda.Utils.Lens.html
        
        Agda.Utils.List.html
        
        Agda.Utils.List1.html
        
        Agda.Utils.List2.html
        
        Agda.Utils.ListT.html
        
        Agda.Utils.Map.html
        
        Agda.Utils.Maybe.Strict.html
        
        Agda.Utils.Maybe.html
        
        Agda.Utils.Memo.html
        
        Agda.Utils.Monad.html
        
        Agda.Utils.Monoid.html
        
        Agda.Utils.Null.html
        
        Agda.Utils.POMonoid.html
        
        Agda.Utils.Parser.MemoisedCPS.html
        
        Agda.Utils.PartialOrd.html
        
        Agda.Utils.Permutation.html
        
        Agda.Utils.Pointer.html
        
        Agda.Utils.Pretty.html
        
        Agda.Utils.RangeMap.html
        
        Agda.Utils.SemiRing.html
        
        Agda.Utils.Semigroup.html
        
        Agda.Utils.Singleton.html
        
        Agda.Utils.Size.html
        
        Agda.Utils.SmallSet.html
        
        Agda.Utils.String.html
        
        Agda.Utils.Suffix.html
        
        Agda.Utils.Three.html
        
        Agda.Utils.Time.html
        
        Agda.Utils.Trie.html
        
        Agda.Utils.Tuple.html
        
        Agda.Utils.TypeLevel.html
        
        Agda.Utils.TypeLits.html
        
        Agda.Utils.Update.html
        
        Agda.Utils.VarSet.html
        
        Agda.Utils.Warshall.html
        
        Agda.Utils.WithDefault.html
        
        Agda.Utils.Zipper.html
        
        Agda.Version.html
        
        Agda.VersionCommit.html
        
        Paths_Agda.html
        
        highlight.js
        
        style.css
        
        synopsis.png
  - licenses/
    - ghc-Agda-doc/
      - LICENSE

ghc-Agda-doc-2.6.2-32.fc35 in Fedora 35

Changelog

Dependencies

Provides

Files