ghc-Agda-doc-2.6.4.3-50.fc41

Date	Author	Change
2024-07-21	Jens Petersen <petersen at redhat dot com> - 2.6.4.3-50	- update vector-hashtables to 0.1.2.0
2024-07-17	Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.4.3-49	- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
2024-05-18	Jens Petersen <petersen at redhat dot com> - 2.6.4.3-48	- update to 2.6.4.3 - https://hackage.haskell.org/package/Agda-2.6.4.2/changelog - https://hackage.haskell.org/package/Agda-2.6.4.3/changelog
2024-02-20	Jens Petersen <petersen at redhat dot com> - 2.6.4.1-47	- rawhide: enable-cluster-counting with text-icu - update vector-hashtables to 0.1.1.4
2024-01-22	Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.4.1-46	- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-19	Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.4.1-45	- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-18	Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.4.1-44	- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2023-12-07	Jens Petersen <petersen at redhat dot com> - 2.6.4.1-43	- https://hackage.haskell.org/package/Agda-2.6.4.1/changelog - update peano to 0.1.0.2
2023-10-17	Jens Petersen <petersen at redhat dot com> - 2.6.4-42	- F40: enable optimise-heavily flag
2023-10-09	Jens Petersen <petersen at redhat dot com> - 2.6.4-41	- update to 2.6.4 - https://hackage.haskell.org/package/Agda-2.6.4/changelog

usr/
- share/
  - doc/
    - ghc/
      - html/
        
        libraries/
        
        Agda-2.6.4.3/
        
        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-MAlonzo-Strict.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-UsedNames.html
        
        Agda-Syntax-Abstract-Views.html
        
        Agda-Syntax-Abstract.html
        
        Agda-Syntax-Builtin.html
        
        Agda-Syntax-Common-Aspect.html
        
        Agda-Syntax-Common-Pretty-ANSI.html
        
        Agda-Syntax-Common-Pretty.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-Univ.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-Flat.html
        
        Agda-Syntax-Scope-Monad.html
        
        Agda-Syntax-TopLevelModuleName-Boot.html
        
        Agda-Syntax-TopLevelModuleName.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-Cubical.html
        
        Agda-TypeChecking-Coverage-Match.html
        
        Agda-TypeChecking-Coverage-SplitClause.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-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-Modalities.html
        
        Agda-TypeChecking-Monad-Base-Warning.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-Modality.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-Opacity.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-Base.html
        
        Agda-TypeChecking-Primitive-Cubical-Glue.html
        
        Agda-TypeChecking-Primitive-Cubical-HCompU.html
        
        Agda-TypeChecking-Primitive-Cubical-Id.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-LeftInverse.html
        
        Agda-TypeChecking-Rules-LHS-Unify-Types.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-BoolSet.html
        
        Agda-Utils-Boolean.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-HashTable.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-ProfileOptions.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
        
        CHANGELOG.md
        
        README.md
        
        doc/
        
        release-notes/
        
        2.2.0.md
        
        2.2.10.md
        
        2.2.2.md
        
        2.2.4.md
        
        2.2.6.md
        
        2.2.8.md
        
        2.3.0.md
        
        2.3.2.1.md
        
        2.3.2.2.md
        
        2.3.2.md
        
        2.4.0.1.md
        
        2.4.0.2.md
        
        2.4.0.md
        
        2.4.2.1.md
        
        2.4.2.2.md
        
        2.4.2.3.md
        
        2.4.2.4.md
        
        2.4.2.5.md
        
        2.4.2.md
        
        2.5.1.1.md
        
        2.5.1.2.md
        
        2.5.1.md
        
        2.5.2.md
        
        2.5.3.md
        
        2.5.4.1.md
        
        2.5.4.2.md
        
        2.5.4.md
        
        2.6.0.1.md
        
        2.6.0.md
        
        2.6.1.1.md
        
        2.6.1.2.md
        
        2.6.1.3.md
        
        2.6.1.md
        
        2.6.2.1.md
        
        2.6.2.2.md
        
        2.6.2.md
        
        2.6.3.md
        
        2.6.4.1.md
        
        2.6.4.2.md
        
        2.6.4.md
        
        user-manual/
        
        agda.svg
        
        doc-index-124.html
        
        doc-index-33.html
        
        doc-index-35.html
        
        doc-index-36.html
        
        doc-index-37.html
        
        doc-index-38.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.MAlonzo.Strict.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.UsedNames.html
        
        Agda.Syntax.Abstract.Views.html
        
        Agda.Syntax.Abstract.html
        
        Agda.Syntax.Builtin.html
        
        Agda.Syntax.Common.Aspect.html
        
        Agda.Syntax.Common.Pretty.ANSI.html
        
        Agda.Syntax.Common.Pretty.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.Univ.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.Flat.html
        
        Agda.Syntax.Scope.Monad.html
        
        Agda.Syntax.TopLevelModuleName.Boot.html
        
        Agda.Syntax.TopLevelModuleName.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.Cubical.html
        
        Agda.TypeChecking.Coverage.Match.html
        
        Agda.TypeChecking.Coverage.SplitClause.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.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.Modalities.html
        
        Agda.TypeChecking.Monad.Base.Warning.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.Modality.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.Opacity.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.Base.html
        
        Agda.TypeChecking.Primitive.Cubical.Glue.html
        
        Agda.TypeChecking.Primitive.Cubical.HCompU.html
        
        Agda.TypeChecking.Primitive.Cubical.Id.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.LeftInverse.html
        
        Agda.TypeChecking.Rules.LHS.Unify.Types.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.BoolSet.html
        
        Agda.Utils.Boolean.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.HashTable.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.ProfileOptions.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.Unsafe.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.4.3-50.fc41 in Fedora 41

Changelog

Dependencies

Provides

Files