libghc-agda-doc (2.8.0-2)
2 versions available in kali/kali-last-snapshot/main/i386
Details
Core information at a glance
- Distribution
- kali
- Origin
- kali-last-snapshot
- Repository
- https://http.kali.org/kali
- Codename
- kali-last-snapshot
- Component
- main
- Source
- agda
- Architecture
- i386
- Section
- doc
- Priority
- optional
- Maintainer
- Debian Haskell Group <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 185.2 kB
- Size expected
- 7.6 MB
- Size actual
- 7.6 MB
- Size match
Suggested packages
Recommended additional packages
- None
Description
dependently typed functional programming language; documentation
Tags
Package classification tags
devel::doc
made-of::html
role::documentation
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | b61d6c30…2d596778 | |
| SHA-1 | db1b319d…fd3bf491 | |
| SHA-256 | 5c56b801…8dfee52c | |
| SHA-512 | 2a66bf3f…efae440b |
Contents
Files and directories included
. usr usr/lib usr/lib/ghc-doc usr/lib/ghc-doc/haddock usr/lib/ghc-doc/haddock/agda-2.8.0 usr/lib/ghc-doc/haddock/agda-2.8.0/Agda.haddock usr/share usr/share/doc usr/share/doc/libghc-agda-doc usr/share/doc/libghc-agda-doc/changelog.Debian.gz usr/share/doc/libghc-agda-doc/changelog.gz usr/share/doc/libghc-agda-doc/copyright usr/share/doc/libghc-agda-doc/html usr/share/doc/libghc-agda-doc/html/Agda-Benchmarking.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-Backend-Base.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-Backend.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-Builtin.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-CallCompiler.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-Common.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-JS-Compiler.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-JS-Pretty.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-JS-Substitution.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-JS-Syntax.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-MAlonzo-Coerce.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-MAlonzo-Compiler.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-MAlonzo-Encode.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-MAlonzo-HaskellTypes.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-MAlonzo-Misc.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-MAlonzo-Pragmas.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-MAlonzo-Pretty.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-MAlonzo-Primitives.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-MAlonzo-Strict.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-ToTreeless.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-Treeless-AsPatterns.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-Treeless-Builtin.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-Treeless-Compare.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-Treeless-EliminateDefaults.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-Treeless-EliminateLiteralPatterns.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-Treeless-Erase.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-Treeless-GuardsToPrims.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-Treeless-Identity.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-Treeless-NormalizeNames.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-Treeless-Pretty.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-Treeless-Simplify.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-Treeless-Subst.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-Treeless-Uncase.html usr/share/doc/libghc-agda-doc/html/Agda-Compiler-Treeless-Unused.html usr/share/doc/libghc-agda-doc/html/Agda-ImpossibleTest.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-AgdaTop.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Base.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-BasicOps.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-BuildLibrary.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Command.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-CommandLine.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-EmacsCommand.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-EmacsTop.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-ExitCode.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-FindFile.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Highlighting-Common.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Highlighting-Dot-Backend.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Highlighting-Dot-Base.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Highlighting-Dot.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Highlighting-Emacs.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Highlighting-FromAbstract.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Highlighting-Generate.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Highlighting-HTML-Backend.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Highlighting-HTML-Base.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Highlighting-HTML.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Highlighting-JSON.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Highlighting-LaTeX-Backend.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Highlighting-LaTeX-Base.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Highlighting-LaTeX.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Highlighting-Precise.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Highlighting-Range.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Highlighting-Vim.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Imports.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-InteractionTop.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-JSON.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-JSONTop.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Library-Base.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Library-Parse.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Library.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-MakeCase.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Monad.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Options-Errors.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Options-Help.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Options-Lenses.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Options-Warnings.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Options.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Output.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Response-Base.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Response.html usr/share/doc/libghc-agda-doc/html/Agda-Interaction-SearchAbout.html usr/share/doc/libghc-agda-doc/html/Agda-Main.html usr/share/doc/libghc-agda-doc/html/Agda-Mimer-Mimer.html usr/share/doc/libghc-agda-doc/html/Agda-Mimer-Options.html usr/share/doc/libghc-agda-doc/html/Agda-Setup-DataFiles.html usr/share/doc/libghc-agda-doc/html/Agda-Setup-EmacsMode.html usr/share/doc/libghc-agda-doc/html/Agda-Setup.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Abstract-Name.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Abstract-Pattern.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Abstract-PatternSynonyms.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Abstract-Pretty.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Abstract-UsedNames.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Abstract-Views.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Abstract.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Builtin.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Common-Aspect.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Common-KeywordRange.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Common-Pretty-ANSI.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Common-Pretty.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Common.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Concrete-Attribute.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Concrete-Definitions-Errors.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Concrete-Definitions-Monad.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Concrete-Definitions-Types.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Concrete-Definitions.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Concrete-Fixity.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Concrete-Generic.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Concrete-Glyph.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Concrete-Name.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Concrete-Operators-Parser-Monad.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Concrete-Operators-Parser.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Concrete-Operators.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Concrete-Pattern.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Concrete-Pretty.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Concrete.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-DoNotation.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Fixity.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-IdiomBrackets.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Info.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Internal-Blockers.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Internal-Defs.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Internal-Elim.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Internal-Generic.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Internal-MetaVars.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Internal-Names.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Internal-Pattern.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Internal-SanityCheck.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Internal-Univ.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Internal.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Literal.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Notation.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Parser-Alex.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Parser-Comments.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Parser-Helpers.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Parser-Layout.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Parser-LexActions.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Parser-Lexer.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Parser-Literate.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Parser-LookAhead.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Parser-Monad.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Parser-Parser.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Parser-StringLiterals.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Parser-Tokens.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Parser.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Position.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Reflected.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Scope-Base.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Scope-Flat.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Scope-Monad.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-TopLevelModuleName-Boot.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-TopLevelModuleName.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Translation-AbstractToConcrete.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Translation-ConcreteToAbstract.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Translation-InternalToAbstract.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Translation-ReflectedToAbstract.html usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Treeless.html usr/share/doc/libghc-agda-doc/html/Agda-Termination-CallGraph.html usr/share/doc/libghc-agda-doc/html/Agda-Termination-CallMatrix.html usr/share/doc/libghc-agda-doc/html/Agda-Termination-CutOff.html usr/share/doc/libghc-agda-doc/html/Agda-Termination-Monad.html usr/share/doc/libghc-agda-doc/html/Agda-Termination-Order.html usr/share/doc/libghc-agda-doc/html/Agda-Termination-RecCheck.html usr/share/doc/libghc-agda-doc/html/Agda-Termination-Semiring.html usr/share/doc/libghc-agda-doc/html/Agda-Termination-SparseMatrix.html usr/share/doc/libghc-agda-doc/html/Agda-Termination-TermCheck.html usr/share/doc/libghc-agda-doc/html/Agda-Termination-Termination.html usr/share/doc/libghc-agda-doc/html/Agda-TheTypeChecker.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Abstract.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-CheckInternal.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-CompiledClause-Compile.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-CompiledClause-Match.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-CompiledClause.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Constraints.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Conversion-Pure.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Conversion.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Coverage-Cubical.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Coverage-Match.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Coverage-SplitClause.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Coverage-SplitTree.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Coverage.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Datatypes.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-DeadCode.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-DiscrimTree-Types.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-DiscrimTree.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-DisplayForm.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-DropArgs.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Empty.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Errors-Names.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Errors.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-EtaContract.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Forcing.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Free-Lazy.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Free-Precompute.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Free-Reduce.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Free.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Functions.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Generalize.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-IApplyConfluence.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Implicit.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Injectivity.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Inlining.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-InstanceArguments.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Irrelevance.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Level-Solve.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Level.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-LevelConstraints.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Lock.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-MetaVars-Mention.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-MetaVars-Occurs.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-MetaVars.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Modalities.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Base-Types.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Base-Warning.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Base.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Benchmark.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Builtin.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Caching.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Closure.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Constraints.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Context.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Debug.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Env.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Imports.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-MetaVars.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Modality.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Mutual.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Open.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Options.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Pure.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Signature.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-SizedTypes.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-State.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Statistics.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Trace.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Names.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Opacity.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Patterns-Abstract.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Patterns-Internal.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Patterns-Match.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Polarity.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Positivity-Occurrence.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Positivity.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Pretty-Call.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Pretty-Constraint.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Pretty-Warning.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Pretty.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Primitive-Base.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Primitive-Cubical-Base.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Primitive-Cubical-Glue.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Primitive-Cubical-HCompU.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Primitive-Cubical.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Primitive.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-ProjectionLike.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Quote.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-ReconstructParameters.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-RecordPatterns.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Records.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Reduce-Fast.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Reduce-Monad.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Reduce.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rewriting-Clause.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rewriting-Confluence.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rewriting-NonLinMatch.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rewriting-NonLinPattern.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rewriting.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rules-Application.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rules-Builtin-Coinduction.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rules-Builtin.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rules-Data.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rules-Decl.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rules-Def.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rules-Display.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rules-LHS-Implicit.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rules-LHS-Problem.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rules-LHS-ProblemRest.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rules-LHS-Unify-LeftInverse.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rules-LHS-Unify-Types.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rules-LHS-Unify.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rules-LHS.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rules-Record.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rules-Term.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Serialise-Base.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Serialise-Instances-Abstract.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Serialise-Instances-Common.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Serialise-Instances-Compilers.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Serialise-Instances-Errors.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Serialise-Instances-Highlighting.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Serialise-Instances-Internal.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Serialise-Instances.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Serialise.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-SizedTypes-Pretty.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-SizedTypes-Solve.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-SizedTypes-Syntax.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-SizedTypes-Utils.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-SizedTypes-WarshallSolver.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-SizedTypes.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Sort.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Substitute-Class.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Substitute-DeBruijn.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Substitute.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-SyntacticEquality.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Telescope-Path.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Telescope.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Unquote.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Warnings.html usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-With.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-AffineHole.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Applicative.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-AssocList.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Bag.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Benchmark.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-BiMap.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-BoolSet.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Boolean.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-CallStack.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Char.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Cluster.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Either.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Empty.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Environment.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Fail.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Favorites.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-FileId.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-FileName.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Float.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Function.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Functor.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-GetOpt.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Graph-AdjacencyMap-Unidirectional.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Graph-TopSort.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Hash.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-HashTable.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Haskell-Syntax.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-IArray.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-IO-Binary.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-IO-Directory.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-IO-TempFile.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-IO-UTF8.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-IO.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-IORef.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Impossible.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-IndexedList.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-IntSet-Infinite.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Lens-Examples.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Lens.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-List.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-List1.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-List2.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-ListT.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Map.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Map1.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Maybe-Strict.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Maybe.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Memo.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Monad.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Monoid.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Null.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-POMonoid.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Parser-MemoisedCPS.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-PartialOrd.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Permutation.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-ProfileOptions.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-RangeMap.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-SemiRing.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Semigroup.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Set1.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Singleton.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Size.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-SmallSet.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-String.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Suffix.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Three.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Time.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Trie.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Tuple.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-TypeLevel.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-TypeLits.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Unsafe.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Update.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-VarSet.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-WithDefault.html usr/share/doc/libghc-agda-doc/html/Agda-Utils-Zipper.html usr/share/doc/libghc-agda-doc/html/Agda-Version.html usr/share/doc/libghc-agda-doc/html/Agda-VersionCommit.html usr/share/doc/libghc-agda-doc/html/Agda.txt usr/share/doc/libghc-agda-doc/html/CHANGELOG.md.gz usr/share/doc/libghc-agda-doc/html/README.md usr/share/doc/libghc-agda-doc/html/doc usr/share/doc/libghc-agda-doc/html/doc/release-notes usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.2.0.md usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.2.10.md.gz usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.2.2.md usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.2.4.md usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.2.6.md.gz usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.2.8.md.gz usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.3.0.md.gz usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.3.2.1.md usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.3.2.2.md usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.3.2.md.gz usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.4.0.1.md usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.4.0.2.md usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.4.0.md.gz usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.4.2.1.md.gz usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.4.2.2.md usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.4.2.3.md.gz usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.4.2.4.md.gz usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.4.2.5.md usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.4.2.md.gz usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.5.1.1.md usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.5.1.2.md usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.5.1.md.gz usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.5.2.md.gz usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.5.3.md.gz usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.5.4.1.md usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.5.4.2.md usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.5.4.md.gz usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.6.0.1.md usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.6.0.md.gz usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.6.1.1.md usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.6.1.2.md usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.6.1.3.md usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.6.1.md.gz usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.6.2.1.md.gz usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.6.2.2.md usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.6.2.md.gz usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.6.3.md.gz usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.6.4.1.md usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.6.4.2.md usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.6.4.3.md usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.6.4.md.gz usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.7.0.1.md.gz usr/share/doc/libghc-agda-doc/html/doc/release-notes/2.7.0.md.gz usr/share/doc/libghc-agda-doc/html/doc/user-manual usr/share/doc/libghc-agda-doc/html/doc/user-manual/agda.svg usr/share/doc/libghc-agda-doc/html/doc-index-124.html usr/share/doc/libghc-agda-doc/html/doc-index-33.html usr/share/doc/libghc-agda-doc/html/doc-index-35.html usr/share/doc/libghc-agda-doc/html/doc-index-36.html usr/share/doc/libghc-agda-doc/html/doc-index-37.html usr/share/doc/libghc-agda-doc/html/doc-index-38.html usr/share/doc/libghc-agda-doc/html/doc-index-43.html usr/share/doc/libghc-agda-doc/html/doc-index-45.html usr/share/doc/libghc-agda-doc/html/doc-index-46.html usr/share/doc/libghc-agda-doc/html/doc-index-47.html usr/share/doc/libghc-agda-doc/html/doc-index-58.html usr/share/doc/libghc-agda-doc/html/doc-index-60.html usr/share/doc/libghc-agda-doc/html/doc-index-61.html usr/share/doc/libghc-agda-doc/html/doc-index-62.html usr/share/doc/libghc-agda-doc/html/doc-index-63.html usr/share/doc/libghc-agda-doc/html/doc-index-64.html usr/share/doc/libghc-agda-doc/html/doc-index-92.html usr/share/doc/libghc-agda-doc/html/doc-index-94.html usr/share/doc/libghc-agda-doc/html/doc-index-95.html usr/share/doc/libghc-agda-doc/html/doc-index-A.html usr/share/doc/libghc-agda-doc/html/doc-index-All.html usr/share/doc/libghc-agda-doc/html/doc-index-B.html usr/share/doc/libghc-agda-doc/html/doc-index-C.html usr/share/doc/libghc-agda-doc/html/doc-index-D.html usr/share/doc/libghc-agda-doc/html/doc-index-E.html usr/share/doc/libghc-agda-doc/html/doc-index-F.html usr/share/doc/libghc-agda-doc/html/doc-index-G.html usr/share/doc/libghc-agda-doc/html/doc-index-H.html usr/share/doc/libghc-agda-doc/html/doc-index-I.html usr/share/doc/libghc-agda-doc/html/doc-index-J.html usr/share/doc/libghc-agda-doc/html/doc-index-K.html usr/share/doc/libghc-agda-doc/html/doc-index-L.html usr/share/doc/libghc-agda-doc/html/doc-index-M.html usr/share/doc/libghc-agda-doc/html/doc-index-N.html usr/share/doc/libghc-agda-doc/html/doc-index-O.html usr/share/doc/libghc-agda-doc/html/doc-index-P.html usr/share/doc/libghc-agda-doc/html/doc-index-Q.html usr/share/doc/libghc-agda-doc/html/doc-index-R.html usr/share/doc/libghc-agda-doc/html/doc-index-S.html usr/share/doc/libghc-agda-doc/html/doc-index-T.html usr/share/doc/libghc-agda-doc/html/doc-index-U.html usr/share/doc/libghc-agda-doc/html/doc-index-V.html usr/share/doc/libghc-agda-doc/html/doc-index-W.html usr/share/doc/libghc-agda-doc/html/doc-index-X.html usr/share/doc/libghc-agda-doc/html/doc-index-Y.html usr/share/doc/libghc-agda-doc/html/doc-index-Z.html usr/share/doc/libghc-agda-doc/html/doc-index.html usr/share/doc/libghc-agda-doc/html/haddock-bundle.min.js usr/share/doc/libghc-agda-doc/html/index.html usr/share/doc/libghc-agda-doc/html/linuwial.css usr/share/doc/libghc-agda-doc/html/meta.json usr/share/doc/libghc-agda-doc/html/quick-jump.css usr/share/doc/libghc-agda-doc/html/src usr/share/doc/libghc-agda-doc/html/src/Agda.Benchmarking.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.Backend.Base.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.Backend.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.Builtin.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.CallCompiler.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.Common.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.JS.Compiler.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.JS.Pretty.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.JS.Substitution.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.JS.Syntax.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.MAlonzo.Coerce.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.MAlonzo.Compiler.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.MAlonzo.Encode.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.MAlonzo.HaskellTypes.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.MAlonzo.Misc.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.MAlonzo.Pragmas.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.MAlonzo.Pretty.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.MAlonzo.Primitives.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.MAlonzo.Strict.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.ToTreeless.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.Treeless.AsPatterns.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.Treeless.Builtin.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.Treeless.Compare.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.Treeless.EliminateDefaults.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.Treeless.EliminateLiteralPatterns.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.Treeless.Erase.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.Treeless.GuardsToPrims.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.Treeless.Identity.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.Treeless.NormalizeNames.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.Treeless.Pretty.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.Treeless.Simplify.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.Treeless.Subst.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.Treeless.Uncase.html usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.Treeless.Unused.html usr/share/doc/libghc-agda-doc/html/src/Agda.ImpossibleTest.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.AgdaTop.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Base.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.BasicOps.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.BuildLibrary.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Command.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.CommandLine.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.EmacsCommand.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.EmacsTop.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.ExitCode.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.FindFile.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Highlighting.Common.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Highlighting.Dot.Backend.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Highlighting.Dot.Base.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Highlighting.Dot.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Highlighting.Emacs.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Highlighting.FromAbstract.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Highlighting.Generate.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Highlighting.HTML.Backend.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Highlighting.HTML.Base.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Highlighting.HTML.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Highlighting.JSON.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Highlighting.LaTeX.Backend.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Highlighting.LaTeX.Base.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Highlighting.LaTeX.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Highlighting.Precise.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Highlighting.Range.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Highlighting.Vim.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Imports.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.InteractionTop.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.JSON.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.JSONTop.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Library.Base.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Library.Parse.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Library.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.MakeCase.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Monad.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Options.Base.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Options.Errors.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Options.HasOptions.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Options.Help.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Options.Lenses.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Options.Types.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Options.Warnings.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Options.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Output.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Response.Base.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.Response.html usr/share/doc/libghc-agda-doc/html/src/Agda.Interaction.SearchAbout.html usr/share/doc/libghc-agda-doc/html/src/Agda.Main.html usr/share/doc/libghc-agda-doc/html/src/Agda.Mimer.Mimer.html usr/share/doc/libghc-agda-doc/html/src/Agda.Mimer.Options.html usr/share/doc/libghc-agda-doc/html/src/Agda.Setup.DataFiles.html usr/share/doc/libghc-agda-doc/html/src/Agda.Setup.EmacsMode.html usr/share/doc/libghc-agda-doc/html/src/Agda.Setup.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Abstract.Name.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Abstract.Pattern.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Abstract.PatternSynonyms.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Abstract.Pretty.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Abstract.UsedNames.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Abstract.Views.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Abstract.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Builtin.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Common.Aspect.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Common.KeywordRange.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Common.Pretty.ANSI.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Common.Pretty.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Common.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Concrete.Attribute.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Concrete.Definitions.Errors.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Concrete.Definitions.Monad.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Concrete.Definitions.Types.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Concrete.Definitions.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Concrete.Fixity.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Concrete.Generic.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Concrete.Glyph.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Concrete.Name.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Concrete.Operators.Parser.Monad.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Concrete.Operators.Parser.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Concrete.Operators.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Concrete.Pattern.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Concrete.Pretty.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Concrete.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.DoNotation.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Fixity.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.IdiomBrackets.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Info.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Internal.Blockers.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Internal.Defs.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Internal.Elim.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Internal.Generic.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Internal.MetaVars.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Internal.Names.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Internal.Pattern.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Internal.SanityCheck.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Internal.Univ.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Internal.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Literal.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Notation.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Parser.Alex.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Parser.Comments.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Parser.Helpers.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Parser.Layout.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Parser.LexActions.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Parser.Lexer.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Parser.Literate.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Parser.LookAhead.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Parser.Monad.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Parser.Parser.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Parser.StringLiterals.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Parser.Tokens.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Parser.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Position.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Reflected.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Scope.Base.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Scope.Flat.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Scope.Monad.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.TopLevelModuleName.Boot.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.TopLevelModuleName.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Translation.AbstractToConcrete.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Translation.ConcreteToAbstract.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Translation.InternalToAbstract.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Translation.ReflectedToAbstract.html usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Treeless.html usr/share/doc/libghc-agda-doc/html/src/Agda.Termination.CallGraph.html usr/share/doc/libghc-agda-doc/html/src/Agda.Termination.CallMatrix.html usr/share/doc/libghc-agda-doc/html/src/Agda.Termination.CutOff.html usr/share/doc/libghc-agda-doc/html/src/Agda.Termination.Monad.html usr/share/doc/libghc-agda-doc/html/src/Agda.Termination.Order.html usr/share/doc/libghc-agda-doc/html/src/Agda.Termination.RecCheck.html usr/share/doc/libghc-agda-doc/html/src/Agda.Termination.Semiring.html usr/share/doc/libghc-agda-doc/html/src/Agda.Termination.SparseMatrix.html usr/share/doc/libghc-agda-doc/html/src/Agda.Termination.TermCheck.html usr/share/doc/libghc-agda-doc/html/src/Agda.Termination.Termination.html usr/share/doc/libghc-agda-doc/html/src/Agda.TheTypeChecker.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Abstract.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.CheckInternal.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.CompiledClause.Compile.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.CompiledClause.Match.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.CompiledClause.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Constraints.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Conversion.Pure.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Conversion.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Coverage.Cubical.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Coverage.Match.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Coverage.SplitClause.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Coverage.SplitTree.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Coverage.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Datatypes.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.DeadCode.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.DiscrimTree.Types.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.DiscrimTree.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.DisplayForm.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.DropArgs.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Empty.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Errors.Names.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Errors.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.EtaContract.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Forcing.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Free.Lazy.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Free.Precompute.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Free.Reduce.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Free.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Functions.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Generalize.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.IApplyConfluence.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Implicit.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Injectivity.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Inlining.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.InstanceArguments.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Irrelevance.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Level.Solve.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Level.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.LevelConstraints.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Lock.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.MetaVars.Mention.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.MetaVars.Occurs.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.MetaVars.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Modalities.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.Base.Types.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.Base.Warning.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.Base.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.Benchmark.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.Builtin.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.Caching.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.Closure.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.Constraints.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.Context.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.Debug.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.Env.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.Imports.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.MetaVars.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.Modality.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.Mutual.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.Open.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.Options.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.Pure.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.Signature.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.SizedTypes.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.State.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.Statistics.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.Trace.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Names.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Opacity.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Patterns.Abstract.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Patterns.Internal.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Patterns.Match.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Polarity.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Positivity.Occurrence.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Positivity.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Pretty.Call.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Pretty.Constraint.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Pretty.Warning.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Pretty.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Primitive.Base.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Primitive.Cubical.Base.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Primitive.Cubical.Glue.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Primitive.Cubical.HCompU.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Primitive.Cubical.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Primitive.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.ProjectionLike.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Quote.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.ReconstructParameters.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.RecordPatterns.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Records.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Reduce.Fast.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Reduce.Monad.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Reduce.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rewriting.Clause.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rewriting.Confluence.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rewriting.NonLinMatch.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rewriting.NonLinPattern.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rewriting.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rules.Application.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rules.Builtin.Coinduction.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rules.Builtin.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rules.Data.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rules.Decl.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rules.Def.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rules.Display.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rules.LHS.Implicit.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rules.LHS.Problem.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rules.LHS.ProblemRest.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rules.LHS.Unify.LeftInverse.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rules.LHS.Unify.Types.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rules.LHS.Unify.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rules.LHS.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rules.Record.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rules.Term.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Serialise.Base.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Serialise.Instances.Abstract.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Serialise.Instances.Common.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Serialise.Instances.Compilers.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Serialise.Instances.Errors.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Serialise.Instances.Highlighting.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Serialise.Instances.Internal.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Serialise.Instances.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Serialise.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.SizedTypes.Pretty.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.SizedTypes.Solve.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.SizedTypes.Syntax.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.SizedTypes.Utils.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.SizedTypes.WarshallSolver.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.SizedTypes.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Sort.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Substitute.Class.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Substitute.DeBruijn.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Substitute.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.SyntacticEquality.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Telescope.Path.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Telescope.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Unquote.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Warnings.html usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.With.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.AffineHole.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Applicative.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.AssocList.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Bag.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Benchmark.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.BiMap.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.BoolSet.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Boolean.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.CallStack.Base.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.CallStack.Pretty.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.CallStack.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Char.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Cluster.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Either.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Empty.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Environment.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Fail.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Favorites.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.FileId.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.FileName.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Float.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Function.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Functor.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.GetOpt.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Graph.AdjacencyMap.Unidirectional.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Graph.TopSort.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Hash.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.HashTable.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Haskell.Syntax.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.IArray.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.IO.Binary.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.IO.Directory.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.IO.TempFile.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.IO.UTF8.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.IO.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.IORef.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Impossible.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.IndexedList.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.IntSet.Infinite.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Lens.Examples.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Lens.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.List.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.List1.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.List2.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.ListT.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Map.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Map1.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Maybe.Strict.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Maybe.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Memo.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Monad.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Monoid.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Null.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.POMonoid.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Parser.MemoisedCPS.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.PartialOrd.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Permutation.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.ProfileOptions.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.RangeMap.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.SemiRing.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Semigroup.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Set1.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Singleton.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Size.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.SmallSet.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.String.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Suffix.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Three.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Time.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Trie.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Tuple.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.TypeLevel.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.TypeLits.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Unsafe.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Update.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.VarSet.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.WithDefault.html usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Zipper.html usr/share/doc/libghc-agda-doc/html/src/Agda.Version.html usr/share/doc/libghc-agda-doc/html/src/Agda.VersionCommit.html usr/share/doc/libghc-agda-doc/html/src/Paths_Agda.html usr/share/doc/libghc-agda-doc/html/src/highlight.js usr/share/doc/libghc-agda-doc/html/src/style.css usr/share/doc/libghc-agda-doc/html/synopsis.png