[ol10_u0_developer_EPEL] ghc-Agda-doc-2.6.4.3-50.el10_0.noarch

Name:	ghc-Agda-doc
Version:	2.6.4.3
Release:	50.el10_0
Architecture:	noarch
Group:	Unspecified
Size:	160680985
License:	MIT AND BSD-3-Clause
RPM:	ghc-Agda-doc-2.6.4.3-50.el10_0.noarch.rpm
Source RPM:	Agda-2.6.4.3-50.el10_0.src.rpm
Build Date:	Wed May 21 2025
Build Host:	build-ol10-x86_64.oracle.com
Vendor:	Oracle America
URL:	https://hackage.haskell.org/package/Agda
Summary:	Haskell Agda library documentation
Description:	This package provides the Haskell Agda library documentation.

Filelist (Show Changelog) (Show related packages)

/
- 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