Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ghc-Agda-doc-2.6.3-40.fc39 RPM for noarch

From Fedora 39 for aarch64 / g

Name: ghc-Agda-doc Distribution: Fedora Project
Version: 2.6.3 Vendor: Fedora Project
Release: 40.fc39 Build date: Sun Jul 30 11:23:50 2023
Group: Unspecified Build host: buildvm-x86-19.iad2.fedoraproject.org
Size: 151715396 Source RPM: Agda-2.6.3-40.fc39.src.rpm
Packager: Fedora Project
Url: https://hackage.haskell.org/package/Agda
Summary: Haskell Agda library documentation
 
This package provides the Haskell Agda library documentation.

Provides

Requires

License

MIT and BSD-3-Clause

Changelog

* Sat Jul 29 2023 Jens Petersen <[email protected]> - 2.6.3-40
  - https://hackage.haskell.org/package/Agda-2.6.3/changelog
* Wed Jul 19 2023 Fedora Release Engineering <[email protected]> - 2.6.2.2-39
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Tue Jul 11 2023 Jens Petersen <[email protected]>
  - drop geniplate-mirror: not needed since 2.6.2
* Sat Feb 18 2023 Jens Petersen <[email protected]> - 2.6.2.2-38
  - refresh to cabal-rpm-2.1.0 including SPDX migration
  - bump geniplate-mirror to 0.7.9
* Wed Jul 20 2022 Fedora Release Engineering <[email protected]> - 2.6.2.2-37
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Mon Jun 20 2022 Jens Petersen <[email protected]>
  - add Provides agda
* Tue Jun 07 2022 Jens Petersen <[email protected]> - 2.6.2.2-36
  - https://hackage.haskell.org/package/Agda-2.6.2.2/changelog
  - disable i686 (#2098425)
* Mon Mar 07 2022 Jens Petersen <[email protected]> - 2.6.2.1-35
  - https://hackage.haskell.org/package/Agda-2.6.2.1/changelog
* Wed Jan 19 2022 Fedora Release Engineering <[email protected]> - 2.6.2-34
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Sat Jan 08 2022 Miro Hrončok <[email protected]> - 2.6.2-33
  - Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34
* Thu Aug 05 2021 Jens Petersen <[email protected]> - 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)
* Thu Aug 05 2021 Jens Petersen <[email protected]> - 2.6.1.3-32
  - update to 2.6.1.3

Files

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 9 22:15:25 2024