Directory listing for Agda-2.5.2 documentation
Agda-2.5.2-docs/
- Agda-Auto-Auto.html
- Agda-Auto-CaseSplit.html
- Agda-Auto-Convert.html
- Agda-Auto-NarrowingSearch.html
- Agda-Auto-SearchControl.html
- Agda-Auto-Syntax.html
- Agda-Auto-Typecheck.html
- Agda-Benchmarking.html
- Agda-Compiler-CallCompiler.html
- Agda-Compiler-Common.html
- Agda-Compiler-Epic-AuxAST.html
- Agda-Compiler-Epic-CaseOpts.html
- Agda-Compiler-Epic-CompileState.html
- Agda-Compiler-Epic-Compiler.html
- Agda-Compiler-Epic-Epic.html
- Agda-Compiler-Epic-Erasure.html
- Agda-Compiler-Epic-ForceConstrs.html
- Agda-Compiler-Epic-Forcing.html
- Agda-Compiler-Epic-FromAgda.html
- Agda-Compiler-Epic-Injection.html
- Agda-Compiler-Epic-Interface.html
- Agda-Compiler-Epic-NatDetection.html
- Agda-Compiler-Epic-Primitive.html
- Agda-Compiler-Epic-Smashing.html
- Agda-Compiler-Epic-Static.html
- Agda-Compiler-HaskellTypes.html
- Agda-Compiler-JS-Compiler.html
- Agda-Compiler-JS-Pretty.html
- Agda-Compiler-JS-Substitution.html
- Agda-Compiler-JS-Syntax.html
- Agda-Compiler-MAlonzo-Compiler.html
- Agda-Compiler-MAlonzo-Encode.html
- Agda-Compiler-MAlonzo-Misc.html
- Agda-Compiler-MAlonzo-Pretty.html
- Agda-Compiler-MAlonzo-Primitives.html
- Agda-Compiler-ToTreeless.html
- Agda-Compiler-Treeless-AsPatterns.html
- Agda-Compiler-Treeless-Builtin.html
- Agda-Compiler-Treeless-Compare.html
- Agda-Compiler-Treeless-DelayCoinduction.html
- Agda-Compiler-Treeless-EliminateLiteralPatterns.html
- Agda-Compiler-Treeless-Erase.html
- Agda-Compiler-Treeless-GuardsToPrims.html
- Agda-Compiler-Treeless-Identity.html
- Agda-Compiler-Treeless-NormalizeNames.html
- Agda-Compiler-Treeless-Pretty.html
- Agda-Compiler-Treeless-Simplify.html
- Agda-Compiler-Treeless-Subst.html
- Agda-Compiler-Treeless-Uncase.html
- Agda-Compiler-Treeless-Unused.html
- Agda-Compiler-UHC-Bridge.html
- Agda-Compiler-UHC-CompileState.html
- Agda-Compiler-UHC-Compiler.html
- Agda-Compiler-UHC-FromAgda.html
- Agda-Compiler-UHC-MagicTypes.html
- Agda-Compiler-UHC-Pragmas-Base.html
- Agda-Compiler-UHC-Pragmas-Parse.html
- Agda-Compiler-UHC-Primitives.html
- Agda-ImpossibleTest.html
- Agda-Interaction-BasicOps.html
- Agda-Interaction-CommandLine.html
- Agda-Interaction-EmacsCommand.html
- Agda-Interaction-EmacsTop.html
- Agda-Interaction-FindFile.html
- Agda-Interaction-Highlighting-Dot.html
- Agda-Interaction-Highlighting-Emacs.html
- Agda-Interaction-Highlighting-Generate.html
- Agda-Interaction-Highlighting-HTML.html
- Agda-Interaction-Highlighting-LaTeX.html
- Agda-Interaction-Highlighting-Precise.html
- Agda-Interaction-Highlighting-Range.html
- Agda-Interaction-Highlighting-Vim.html
- Agda-Interaction-Imports.html
- Agda-Interaction-InteractionTop.html
- Agda-Interaction-Library-Base.html
- Agda-Interaction-Library-Parse.html
- Agda-Interaction-Library.html
- Agda-Interaction-MakeCase.html
- Agda-Interaction-Monad.html
- Agda-Interaction-Options-Lenses.html
- Agda-Interaction-Options.html
- Agda-Interaction-Response.html
- Agda-Interaction-SearchAbout.html
- Agda-Main.html
- Agda-Syntax-Abstract-Copatterns.html
- Agda-Syntax-Abstract-Name.html
- Agda-Syntax-Abstract-Pretty.html
- Agda-Syntax-Abstract-Views.html
- Agda-Syntax-Abstract.html
- Agda-Syntax-Common.html
- Agda-Syntax-Concrete-Definitions.html
- Agda-Syntax-Concrete-Generic.html
- Agda-Syntax-Concrete-Name.html
- Agda-Syntax-Concrete-Operators-Parser-Monad.html
- Agda-Syntax-Concrete-Operators-Parser.html
- Agda-Syntax-Concrete-Operators.html
- Agda-Syntax-Concrete-Pretty.html
- Agda-Syntax-Concrete.html
- Agda-Syntax-Fixity.html
- Agda-Syntax-IdiomBrackets.html
- Agda-Syntax-Info.html
- Agda-Syntax-Internal-Defs.html
- Agda-Syntax-Internal-Generic.html
- Agda-Syntax-Internal-Names.html
- Agda-Syntax-Internal-Pattern.html
- Agda-Syntax-Internal-SanityCheck.html
- Agda-Syntax-Internal.html
- Agda-Syntax-Literal.html
- Agda-Syntax-Notation.html
- Agda-Syntax-Parser-Alex.html
- Agda-Syntax-Parser-Comments.html
- Agda-Syntax-Parser-Layout.html
- Agda-Syntax-Parser-LexActions.html
- Agda-Syntax-Parser-Lexer.html
- Agda-Syntax-Parser-Literate.html
- Agda-Syntax-Parser-LookAhead.html
- Agda-Syntax-Parser-Monad.html
- Agda-Syntax-Parser-Parser.html
- Agda-Syntax-Parser-StringLiterals.html
- Agda-Syntax-Parser-Tokens.html
- Agda-Syntax-Parser.html
- Agda-Syntax-Position.html
- Agda-Syntax-Reflected.html
- Agda-Syntax-Scope-Base.html
- Agda-Syntax-Scope-Monad.html
- Agda-Syntax-Translation-AbstractToConcrete.html
- Agda-Syntax-Translation-ConcreteToAbstract.html
- Agda-Syntax-Translation-InternalToAbstract.html
- Agda-Syntax-Translation-ReflectedToAbstract.html
- Agda-Syntax-Treeless.html
- Agda-Termination-CallGraph.html
- Agda-Termination-CallMatrix.html
- Agda-Termination-CutOff.html
- Agda-Termination-Inlining.html
- Agda-Termination-Monad.html
- Agda-Termination-Order.html
- Agda-Termination-RecCheck.html
- Agda-Termination-Semiring.html
- Agda-Termination-SparseMatrix.html
- Agda-Termination-TermCheck.html
- Agda-Termination-Termination.html
- Agda-TheTypeChecker.html
- Agda-TypeChecking-Abstract.html
- Agda-TypeChecking-CheckInternal.html
- Agda-TypeChecking-CompiledClause-Compile.html
- Agda-TypeChecking-CompiledClause-Match.html
- Agda-TypeChecking-CompiledClause.html
- Agda-TypeChecking-Constraints.html
- Agda-TypeChecking-Conversion.html
- Agda-TypeChecking-Coverage-Match.html
- Agda-TypeChecking-Coverage-SplitTree.html
- Agda-TypeChecking-Coverage.html
- Agda-TypeChecking-Datatypes.html
- Agda-TypeChecking-DeadCode.html
- Agda-TypeChecking-DisplayForm.html
- Agda-TypeChecking-DropArgs.html
- Agda-TypeChecking-Empty.html
- Agda-TypeChecking-Errors.html
- Agda-TypeChecking-EtaContract.html
- Agda-TypeChecking-Forcing.html
- Agda-TypeChecking-Free-Lazy.html
- Agda-TypeChecking-Free-Old.html
- Agda-TypeChecking-Free.html
- Agda-TypeChecking-Implicit.html
- Agda-TypeChecking-Injectivity.html
- Agda-TypeChecking-InstanceArguments.html
- Agda-TypeChecking-Irrelevance.html
- Agda-TypeChecking-Level.html
- Agda-TypeChecking-LevelConstraints.html
- Agda-TypeChecking-MetaVars-Mention.html
- Agda-TypeChecking-MetaVars-Occurs.html
- Agda-TypeChecking-MetaVars.html
- Agda-TypeChecking-Monad-Base.html
- Agda-TypeChecking-Monad-Benchmark.html
- Agda-TypeChecking-Monad-Builtin.html
- Agda-TypeChecking-Monad-Caching.html
- Agda-TypeChecking-Monad-Closure.html
- Agda-TypeChecking-Monad-Constraints.html
- Agda-TypeChecking-Monad-Context.html
- Agda-TypeChecking-Monad-Env.html
- Agda-TypeChecking-Monad-Exception.html
- Agda-TypeChecking-Monad-Imports.html
- Agda-TypeChecking-Monad-Local.html
- Agda-TypeChecking-Monad-MetaVars.html
- Agda-TypeChecking-Monad-Mutual.html
- Agda-TypeChecking-Monad-Open.html
- Agda-TypeChecking-Monad-Options.html
- Agda-TypeChecking-Monad-Sharing.html
- Agda-TypeChecking-Monad-Signature.html
- Agda-TypeChecking-Monad-SizedTypes.html
- Agda-TypeChecking-Monad-State.html
- Agda-TypeChecking-Monad-Statistics.html
- Agda-TypeChecking-Monad-Trace.html
- Agda-TypeChecking-Monad.html
- Agda-TypeChecking-Patterns-Abstract.html
- Agda-TypeChecking-Patterns-Match.html
- Agda-TypeChecking-Polarity.html
- Agda-TypeChecking-Positivity-Occurrence.html
- Agda-TypeChecking-Positivity.html
- Agda-TypeChecking-Pretty.html
- Agda-TypeChecking-Primitive.html
- Agda-TypeChecking-ProjectionLike.html
- Agda-TypeChecking-Quote.html
- Agda-TypeChecking-ReconstructParameters.html
- Agda-TypeChecking-RecordPatterns.html
- Agda-TypeChecking-Records.html
- Agda-TypeChecking-Reduce-Fast.html
- Agda-TypeChecking-Reduce-Monad.html
- Agda-TypeChecking-Reduce.html
- Agda-TypeChecking-Rewriting-NonLinMatch.html
- Agda-TypeChecking-Rewriting.html
- Agda-TypeChecking-Rules-Builtin-Coinduction.html
- Agda-TypeChecking-Rules-Builtin.html
- Agda-TypeChecking-Rules-Data.html
- Agda-TypeChecking-Rules-Decl.html
- Agda-TypeChecking-Rules-Def.html
- Agda-TypeChecking-Rules-Display.html
- Agda-TypeChecking-Rules-LHS-AsPatterns.html
- Agda-TypeChecking-Rules-LHS-Implicit.html
- Agda-TypeChecking-Rules-LHS-Instantiate.html
- Agda-TypeChecking-Rules-LHS-Problem.html
- Agda-TypeChecking-Rules-LHS-ProblemRest.html
- Agda-TypeChecking-Rules-LHS-Split.html
- Agda-TypeChecking-Rules-LHS-Unify.html
- Agda-TypeChecking-Rules-LHS.html
- Agda-TypeChecking-Rules-Record.html
- Agda-TypeChecking-Rules-Term.html
- Agda-TypeChecking-Serialise-Base.html
- Agda-TypeChecking-Serialise-Instances-Abstract.html
- Agda-TypeChecking-Serialise-Instances-Common.html
- Agda-TypeChecking-Serialise-Instances-Compilers.html
- Agda-TypeChecking-Serialise-Instances-Highlighting.html
- Agda-TypeChecking-Serialise-Instances-Internal.html
- Agda-TypeChecking-Serialise-Instances.html
- Agda-TypeChecking-Serialise.html
- Agda-TypeChecking-SizedTypes-Solve.html
- Agda-TypeChecking-SizedTypes-Syntax.html
- Agda-TypeChecking-SizedTypes-Utils.html
- Agda-TypeChecking-SizedTypes-WarshallSolver.html
- Agda-TypeChecking-SizedTypes.html
- Agda-TypeChecking-Substitute-Class.html
- Agda-TypeChecking-Substitute-DeBruijn.html
- Agda-TypeChecking-Substitute.html
- Agda-TypeChecking-SyntacticEquality.html
- Agda-TypeChecking-Telescope.html
- Agda-TypeChecking-Unquote.html
- Agda-TypeChecking-With.html
- Agda-Utils-AssocList.html
- Agda-Utils-Bag.html
- Agda-Utils-Benchmark.html
- Agda-Utils-BiMap.html
- Agda-Utils-Char.html
- Agda-Utils-Cluster.html
- Agda-Utils-Either.html
- Agda-Utils-Empty.html
- Agda-Utils-Environment.html
- Agda-Utils-Except.html
- Agda-Utils-Favorites.html
- Agda-Utils-FileName.html
- Agda-Utils-Function.html
- Agda-Utils-Functor.html
- Agda-Utils-Geniplate.html
- Agda-Utils-Graph-AdjacencyMap-Unidirectional.html
- Agda-Utils-Hash.html
- Agda-Utils-HashMap.html
- Agda-Utils-Haskell-Syntax.html
- Agda-Utils-IO-Binary.html
- Agda-Utils-IO-Directory.html
- Agda-Utils-IO-UTF8.html
- Agda-Utils-IORef.html
- Agda-Utils-Impossible.html
- Agda-Utils-Lens-Examples.html
- Agda-Utils-Lens.html
- Agda-Utils-List.html
- Agda-Utils-ListT.html
- Agda-Utils-Map.html
- Agda-Utils-Maybe-Strict.html
- Agda-Utils-Maybe.html
- Agda-Utils-Memo.html
- Agda-Utils-Monad.html
- Agda-Utils-Null.html
- Agda-Utils-Parser-MemoisedCPS.html
- Agda-Utils-Parser-ReadP.html
- Agda-Utils-PartialOrd.html
- Agda-Utils-Permutation.html
- Agda-Utils-Pointer.html
- Agda-Utils-Pretty.html
- Agda-Utils-SemiRing.html
- Agda-Utils-Singleton.html
- Agda-Utils-Size.html
- Agda-Utils-String.html
- Agda-Utils-Suffix.html
- Agda-Utils-Time.html
- Agda-Utils-Trie.html
- Agda-Utils-Tuple.html
- Agda-Utils-Update.html
- Agda-Utils-VarSet.html
- Agda-Utils-Warshall.html
- Agda-Version.html
- Agda-VersionCommit.html
- Agda.haddock
- Agda.txt
- doc-index-124.html
- doc-index-33.html
- doc-index-36.html
- doc-index-37.html
- doc-index-38.html
- doc-index-43.html
- doc-index-45.html
- doc-index-46.html
- doc-index-47.html
- doc-index-58.html
- doc-index-60.html
- doc-index-61.html
- doc-index-62.html
- doc-index-94.html
- doc-index-95.html
- doc-index-A.html
- doc-index-All.html
- doc-index-B.html
- doc-index-C.html
- doc-index-D.html
- doc-index-E.html
- doc-index-F.html
- doc-index-G.html
- doc-index-H.html
- doc-index-I.html
- doc-index-J.html
- doc-index-K.html
- doc-index-L.html
- doc-index-M.html
- doc-index-N.html
- doc-index-O.html
- doc-index-P.html
- doc-index-Q.html
- doc-index-R.html
- doc-index-S.html
- doc-index-T.html
- doc-index-U.html
- doc-index-V.html
- doc-index-W.html
- doc-index-X.html
- doc-index-Y.html
- doc-index-Z.html
- doc-index.html
- haddock-util.js
- hslogo-16.png
- mini_Agda-Auto-Auto.html
- mini_Agda-Auto-CaseSplit.html
- mini_Agda-Auto-Convert.html
- mini_Agda-Auto-NarrowingSearch.html
- mini_Agda-Auto-SearchControl.html
- mini_Agda-Auto-Syntax.html
- mini_Agda-Auto-Typecheck.html
- mini_Agda-Benchmarking.html
- mini_Agda-Compiler-CallCompiler.html
- mini_Agda-Compiler-Common.html
- mini_Agda-Compiler-Epic-AuxAST.html
- mini_Agda-Compiler-Epic-CaseOpts.html
- mini_Agda-Compiler-Epic-CompileState.html
- mini_Agda-Compiler-Epic-Compiler.html
- mini_Agda-Compiler-Epic-Epic.html
- mini_Agda-Compiler-Epic-Erasure.html
- mini_Agda-Compiler-Epic-ForceConstrs.html
- mini_Agda-Compiler-Epic-Forcing.html
- mini_Agda-Compiler-Epic-FromAgda.html
- mini_Agda-Compiler-Epic-Injection.html
- mini_Agda-Compiler-Epic-Interface.html
- mini_Agda-Compiler-Epic-NatDetection.html
- mini_Agda-Compiler-Epic-Primitive.html
- mini_Agda-Compiler-Epic-Smashing.html
- mini_Agda-Compiler-Epic-Static.html
- mini_Agda-Compiler-HaskellTypes.html
- mini_Agda-Compiler-JS-Compiler.html
- mini_Agda-Compiler-JS-Pretty.html
- mini_Agda-Compiler-JS-Substitution.html
- mini_Agda-Compiler-JS-Syntax.html
- mini_Agda-Compiler-MAlonzo-Compiler.html
- mini_Agda-Compiler-MAlonzo-Encode.html
- mini_Agda-Compiler-MAlonzo-Misc.html
- mini_Agda-Compiler-MAlonzo-Pretty.html
- mini_Agda-Compiler-MAlonzo-Primitives.html
- mini_Agda-Compiler-ToTreeless.html
- mini_Agda-Compiler-Treeless-AsPatterns.html
- mini_Agda-Compiler-Treeless-Builtin.html
- mini_Agda-Compiler-Treeless-Compare.html
- mini_Agda-Compiler-Treeless-DelayCoinduction.html
- mini_Agda-Compiler-Treeless-EliminateLiteralPatterns.html
- mini_Agda-Compiler-Treeless-Erase.html
- mini_Agda-Compiler-Treeless-GuardsToPrims.html
- mini_Agda-Compiler-Treeless-Identity.html
- mini_Agda-Compiler-Treeless-NormalizeNames.html
- mini_Agda-Compiler-Treeless-Pretty.html
- mini_Agda-Compiler-Treeless-Simplify.html
- mini_Agda-Compiler-Treeless-Subst.html
- mini_Agda-Compiler-Treeless-Uncase.html
- mini_Agda-Compiler-Treeless-Unused.html
- mini_Agda-Compiler-UHC-Bridge.html
- mini_Agda-Compiler-UHC-CompileState.html
- mini_Agda-Compiler-UHC-Compiler.html
- mini_Agda-Compiler-UHC-FromAgda.html
- mini_Agda-Compiler-UHC-MagicTypes.html
- mini_Agda-Compiler-UHC-Pragmas-Base.html
- mini_Agda-Compiler-UHC-Pragmas-Parse.html
- mini_Agda-Compiler-UHC-Primitives.html
- mini_Agda-ImpossibleTest.html
- mini_Agda-Interaction-BasicOps.html
- mini_Agda-Interaction-CommandLine.html
- mini_Agda-Interaction-EmacsCommand.html
- mini_Agda-Interaction-EmacsTop.html
- mini_Agda-Interaction-FindFile.html
- mini_Agda-Interaction-Highlighting-Dot.html
- mini_Agda-Interaction-Highlighting-Emacs.html
- mini_Agda-Interaction-Highlighting-Generate.html
- mini_Agda-Interaction-Highlighting-HTML.html
- mini_Agda-Interaction-Highlighting-LaTeX.html
- mini_Agda-Interaction-Highlighting-Precise.html
- mini_Agda-Interaction-Highlighting-Range.html
- mini_Agda-Interaction-Highlighting-Vim.html
- mini_Agda-Interaction-Imports.html
- mini_Agda-Interaction-InteractionTop.html
- mini_Agda-Interaction-Library-Base.html
- mini_Agda-Interaction-Library-Parse.html
- mini_Agda-Interaction-Library.html
- mini_Agda-Interaction-MakeCase.html
- mini_Agda-Interaction-Monad.html
- mini_Agda-Interaction-Options-Lenses.html
- mini_Agda-Interaction-Options.html
- mini_Agda-Interaction-Response.html
- mini_Agda-Interaction-SearchAbout.html
- mini_Agda-Main.html
- mini_Agda-Syntax-Abstract-Copatterns.html
- mini_Agda-Syntax-Abstract-Name.html
- mini_Agda-Syntax-Abstract-Pretty.html
- mini_Agda-Syntax-Abstract-Views.html
- mini_Agda-Syntax-Abstract.html
- mini_Agda-Syntax-Common.html
- mini_Agda-Syntax-Concrete-Definitions.html
- mini_Agda-Syntax-Concrete-Generic.html
- mini_Agda-Syntax-Concrete-Name.html
- mini_Agda-Syntax-Concrete-Operators-Parser-Monad.html
- mini_Agda-Syntax-Concrete-Operators-Parser.html
- mini_Agda-Syntax-Concrete-Operators.html
- mini_Agda-Syntax-Concrete-Pretty.html
- mini_Agda-Syntax-Concrete.html
- mini_Agda-Syntax-Fixity.html
- mini_Agda-Syntax-IdiomBrackets.html
- mini_Agda-Syntax-Info.html
- mini_Agda-Syntax-Internal-Defs.html
- mini_Agda-Syntax-Internal-Generic.html
- mini_Agda-Syntax-Internal-Names.html
- mini_Agda-Syntax-Internal-Pattern.html
- mini_Agda-Syntax-Internal-SanityCheck.html
- mini_Agda-Syntax-Internal.html
- mini_Agda-Syntax-Literal.html
- mini_Agda-Syntax-Notation.html
- mini_Agda-Syntax-Parser-Alex.html
- mini_Agda-Syntax-Parser-Comments.html
- mini_Agda-Syntax-Parser-Layout.html
- mini_Agda-Syntax-Parser-LexActions.html
- mini_Agda-Syntax-Parser-Lexer.html
- mini_Agda-Syntax-Parser-Literate.html
- mini_Agda-Syntax-Parser-LookAhead.html
- mini_Agda-Syntax-Parser-Monad.html
- mini_Agda-Syntax-Parser-Parser.html
- mini_Agda-Syntax-Parser-StringLiterals.html
- mini_Agda-Syntax-Parser-Tokens.html
- mini_Agda-Syntax-Parser.html
- mini_Agda-Syntax-Position.html
- mini_Agda-Syntax-Reflected.html
- mini_Agda-Syntax-Scope-Base.html
- mini_Agda-Syntax-Scope-Monad.html
- mini_Agda-Syntax-Translation-AbstractToConcrete.html
- mini_Agda-Syntax-Translation-ConcreteToAbstract.html
- mini_Agda-Syntax-Translation-InternalToAbstract.html
- mini_Agda-Syntax-Translation-ReflectedToAbstract.html
- mini_Agda-Syntax-Treeless.html
- mini_Agda-Termination-CallGraph.html
- mini_Agda-Termination-CallMatrix.html
- mini_Agda-Termination-CutOff.html
- mini_Agda-Termination-Inlining.html
- mini_Agda-Termination-Monad.html
- mini_Agda-Termination-Order.html
- mini_Agda-Termination-RecCheck.html
- mini_Agda-Termination-Semiring.html
- mini_Agda-Termination-SparseMatrix.html
- mini_Agda-Termination-TermCheck.html
- mini_Agda-Termination-Termination.html
- mini_Agda-TheTypeChecker.html
- mini_Agda-TypeChecking-Abstract.html
- mini_Agda-TypeChecking-CheckInternal.html
- mini_Agda-TypeChecking-CompiledClause-Compile.html
- mini_Agda-TypeChecking-CompiledClause-Match.html
- mini_Agda-TypeChecking-CompiledClause.html
- mini_Agda-TypeChecking-Constraints.html
- mini_Agda-TypeChecking-Conversion.html
- mini_Agda-TypeChecking-Coverage-Match.html
- mini_Agda-TypeChecking-Coverage-SplitTree.html
- mini_Agda-TypeChecking-Coverage.html
- mini_Agda-TypeChecking-Datatypes.html
- mini_Agda-TypeChecking-DeadCode.html
- mini_Agda-TypeChecking-DisplayForm.html
- mini_Agda-TypeChecking-DropArgs.html
- mini_Agda-TypeChecking-Empty.html
- mini_Agda-TypeChecking-Errors.html
- mini_Agda-TypeChecking-EtaContract.html
- mini_Agda-TypeChecking-Forcing.html
- mini_Agda-TypeChecking-Free-Lazy.html
- mini_Agda-TypeChecking-Free-Old.html
- mini_Agda-TypeChecking-Free.html
- mini_Agda-TypeChecking-Implicit.html
- mini_Agda-TypeChecking-Injectivity.html
- mini_Agda-TypeChecking-InstanceArguments.html
- mini_Agda-TypeChecking-Irrelevance.html
- mini_Agda-TypeChecking-Level.html
- mini_Agda-TypeChecking-LevelConstraints.html
- mini_Agda-TypeChecking-MetaVars-Mention.html
- mini_Agda-TypeChecking-MetaVars-Occurs.html
- mini_Agda-TypeChecking-MetaVars.html
- mini_Agda-TypeChecking-Monad-Base.html
- mini_Agda-TypeChecking-Monad-Benchmark.html
- mini_Agda-TypeChecking-Monad-Builtin.html
- mini_Agda-TypeChecking-Monad-Caching.html
- mini_Agda-TypeChecking-Monad-Closure.html
- mini_Agda-TypeChecking-Monad-Constraints.html
- mini_Agda-TypeChecking-Monad-Context.html
- mini_Agda-TypeChecking-Monad-Env.html
- mini_Agda-TypeChecking-Monad-Exception.html
- mini_Agda-TypeChecking-Monad-Imports.html
- mini_Agda-TypeChecking-Monad-Local.html
- mini_Agda-TypeChecking-Monad-MetaVars.html
- mini_Agda-TypeChecking-Monad-Mutual.html
- mini_Agda-TypeChecking-Monad-Open.html
- mini_Agda-TypeChecking-Monad-Options.html
- mini_Agda-TypeChecking-Monad-Sharing.html
- mini_Agda-TypeChecking-Monad-Signature.html
- mini_Agda-TypeChecking-Monad-SizedTypes.html
- mini_Agda-TypeChecking-Monad-State.html
- mini_Agda-TypeChecking-Monad-Statistics.html
- mini_Agda-TypeChecking-Monad-Trace.html
- mini_Agda-TypeChecking-Monad.html
- mini_Agda-TypeChecking-Patterns-Abstract.html
- mini_Agda-TypeChecking-Patterns-Match.html
- mini_Agda-TypeChecking-Polarity.html
- mini_Agda-TypeChecking-Positivity-Occurrence.html
- mini_Agda-TypeChecking-Positivity.html
- mini_Agda-TypeChecking-Pretty.html
- mini_Agda-TypeChecking-Primitive.html
- mini_Agda-TypeChecking-ProjectionLike.html
- mini_Agda-TypeChecking-Quote.html
- mini_Agda-TypeChecking-ReconstructParameters.html
- mini_Agda-TypeChecking-RecordPatterns.html
- mini_Agda-TypeChecking-Records.html
- mini_Agda-TypeChecking-Reduce-Fast.html
- mini_Agda-TypeChecking-Reduce-Monad.html
- mini_Agda-TypeChecking-Reduce.html
- mini_Agda-TypeChecking-Rewriting-NonLinMatch.html
- mini_Agda-TypeChecking-Rewriting.html
- mini_Agda-TypeChecking-Rules-Builtin-Coinduction.html
- mini_Agda-TypeChecking-Rules-Builtin.html
- mini_Agda-TypeChecking-Rules-Data.html
- mini_Agda-TypeChecking-Rules-Decl.html
- mini_Agda-TypeChecking-Rules-Def.html
- mini_Agda-TypeChecking-Rules-Display.html
- mini_Agda-TypeChecking-Rules-LHS-AsPatterns.html
- mini_Agda-TypeChecking-Rules-LHS-Implicit.html
- mini_Agda-TypeChecking-Rules-LHS-Instantiate.html
- mini_Agda-TypeChecking-Rules-LHS-Problem.html
- mini_Agda-TypeChecking-Rules-LHS-ProblemRest.html
- mini_Agda-TypeChecking-Rules-LHS-Split.html
- mini_Agda-TypeChecking-Rules-LHS-Unify.html
- mini_Agda-TypeChecking-Rules-LHS.html
- mini_Agda-TypeChecking-Rules-Record.html
- mini_Agda-TypeChecking-Rules-Term.html
- mini_Agda-TypeChecking-Serialise-Base.html
- mini_Agda-TypeChecking-Serialise-Instances-Abstract.html
- mini_Agda-TypeChecking-Serialise-Instances-Common.html
- mini_Agda-TypeChecking-Serialise-Instances-Compilers.html
- mini_Agda-TypeChecking-Serialise-Instances-Highlighting.html
- mini_Agda-TypeChecking-Serialise-Instances-Internal.html
- mini_Agda-TypeChecking-Serialise-Instances.html
- mini_Agda-TypeChecking-Serialise.html
- mini_Agda-TypeChecking-SizedTypes-Solve.html
- mini_Agda-TypeChecking-SizedTypes-Syntax.html
- mini_Agda-TypeChecking-SizedTypes-Utils.html
- mini_Agda-TypeChecking-SizedTypes-WarshallSolver.html
- mini_Agda-TypeChecking-SizedTypes.html
- mini_Agda-TypeChecking-Substitute-Class.html
- mini_Agda-TypeChecking-Substitute-DeBruijn.html
- mini_Agda-TypeChecking-Substitute.html
- mini_Agda-TypeChecking-SyntacticEquality.html
- mini_Agda-TypeChecking-Telescope.html
- mini_Agda-TypeChecking-Unquote.html
- mini_Agda-TypeChecking-With.html
- mini_Agda-Utils-AssocList.html
- mini_Agda-Utils-Bag.html
- mini_Agda-Utils-Benchmark.html
- mini_Agda-Utils-BiMap.html
- mini_Agda-Utils-Char.html
- mini_Agda-Utils-Cluster.html
- mini_Agda-Utils-Either.html
- mini_Agda-Utils-Empty.html
- mini_Agda-Utils-Environment.html
- mini_Agda-Utils-Except.html
- mini_Agda-Utils-Favorites.html
- mini_Agda-Utils-FileName.html
- mini_Agda-Utils-Function.html
- mini_Agda-Utils-Functor.html
- mini_Agda-Utils-Geniplate.html
- mini_Agda-Utils-Graph-AdjacencyMap-Unidirectional.html
- mini_Agda-Utils-Hash.html
- mini_Agda-Utils-HashMap.html
- mini_Agda-Utils-Haskell-Syntax.html
- mini_Agda-Utils-IO-Binary.html
- mini_Agda-Utils-IO-Directory.html
- mini_Agda-Utils-IO-UTF8.html
- mini_Agda-Utils-IORef.html
- mini_Agda-Utils-Impossible.html
- mini_Agda-Utils-Lens-Examples.html
- mini_Agda-Utils-Lens.html
- mini_Agda-Utils-List.html
- mini_Agda-Utils-ListT.html
- mini_Agda-Utils-Map.html
- mini_Agda-Utils-Maybe-Strict.html
- mini_Agda-Utils-Maybe.html
- mini_Agda-Utils-Memo.html
- mini_Agda-Utils-Monad.html
- mini_Agda-Utils-Null.html
- mini_Agda-Utils-Parser-MemoisedCPS.html
- mini_Agda-Utils-Parser-ReadP.html
- mini_Agda-Utils-PartialOrd.html
- mini_Agda-Utils-Permutation.html
- mini_Agda-Utils-Pointer.html
- mini_Agda-Utils-Pretty.html
- mini_Agda-Utils-SemiRing.html
- mini_Agda-Utils-Singleton.html
- mini_Agda-Utils-Size.html
- mini_Agda-Utils-String.html
- mini_Agda-Utils-Suffix.html
- mini_Agda-Utils-Time.html
- mini_Agda-Utils-Trie.html
- mini_Agda-Utils-Tuple.html
- mini_Agda-Utils-Update.html
- mini_Agda-Utils-VarSet.html
- mini_Agda-Utils-Warshall.html
- mini_Agda-Version.html
- mini_Agda-VersionCommit.html
- minus.gif
- ocean.css
- plus.gif
- synopsis.png
- src/
- Agda-Auto-Auto.html
- Agda-Auto-CaseSplit.html
- Agda-Auto-Convert.html
- Agda-Auto-NarrowingSearch.html
- Agda-Auto-SearchControl.html
- Agda-Auto-Syntax.html
- Agda-Auto-Typecheck.html
- Agda-Benchmarking.html
- Agda-Compiler-CallCompiler.html
- Agda-Compiler-Common.html
- Agda-Compiler-Epic-AuxAST.html
- Agda-Compiler-Epic-CaseOpts.html
- Agda-Compiler-Epic-CompileState.html
- Agda-Compiler-Epic-Compiler.html
- Agda-Compiler-Epic-Epic.html
- Agda-Compiler-Epic-Erasure.html
- Agda-Compiler-Epic-ForceConstrs.html
- Agda-Compiler-Epic-Forcing.html
- Agda-Compiler-Epic-FromAgda.html
- Agda-Compiler-Epic-Injection.html
- Agda-Compiler-Epic-Interface.html
- Agda-Compiler-Epic-NatDetection.html
- Agda-Compiler-Epic-Primitive.html
- Agda-Compiler-Epic-Smashing.html
- Agda-Compiler-Epic-Static.html
- Agda-Compiler-HaskellTypes.html
- Agda-Compiler-JS-Compiler.html
- Agda-Compiler-JS-Pretty.html
- Agda-Compiler-JS-Substitution.html
- Agda-Compiler-JS-Syntax.html
- Agda-Compiler-MAlonzo-Compiler.html
- Agda-Compiler-MAlonzo-Encode.html
- Agda-Compiler-MAlonzo-Misc.html
- Agda-Compiler-MAlonzo-Pretty.html
- Agda-Compiler-MAlonzo-Primitives.html
- Agda-Compiler-ToTreeless.html
- Agda-Compiler-Treeless-AsPatterns.html
- Agda-Compiler-Treeless-Builtin.html
- Agda-Compiler-Treeless-Compare.html
- Agda-Compiler-Treeless-DelayCoinduction.html
- Agda-Compiler-Treeless-EliminateLiteralPatterns.html
- Agda-Compiler-Treeless-Erase.html
- Agda-Compiler-Treeless-GuardsToPrims.html
- Agda-Compiler-Treeless-Identity.html
- Agda-Compiler-Treeless-NormalizeNames.html
- Agda-Compiler-Treeless-Pretty.html
- Agda-Compiler-Treeless-Simplify.html
- Agda-Compiler-Treeless-Subst.html
- Agda-Compiler-Treeless-Uncase.html
- Agda-Compiler-Treeless-Unused.html
- Agda-Compiler-UHC-Bridge.html
- Agda-Compiler-UHC-CompileState.html
- Agda-Compiler-UHC-Compiler.html
- Agda-Compiler-UHC-FromAgda.html
- Agda-Compiler-UHC-MagicTypes.html
- Agda-Compiler-UHC-Pragmas-Base.html
- Agda-Compiler-UHC-Pragmas-Parse.html
- Agda-Compiler-UHC-Primitives.html
- Agda-ImpossibleTest.html
- Agda-Interaction-BasicOps.html
- Agda-Interaction-CommandLine.html
- Agda-Interaction-EmacsCommand.html
- Agda-Interaction-EmacsTop.html
- Agda-Interaction-FindFile.html
- Agda-Interaction-Highlighting-Dot.html
- Agda-Interaction-Highlighting-Emacs.html
- Agda-Interaction-Highlighting-Generate.html
- Agda-Interaction-Highlighting-HTML.html
- Agda-Interaction-Highlighting-LaTeX.html
- Agda-Interaction-Highlighting-Precise.html
- Agda-Interaction-Highlighting-Range.html
- Agda-Interaction-Highlighting-Vim.html
- Agda-Interaction-Imports.html
- Agda-Interaction-InteractionTop.html
- Agda-Interaction-Library-Base.html
- Agda-Interaction-Library-Parse.html
- Agda-Interaction-Library.html
- Agda-Interaction-MakeCase.html
- Agda-Interaction-Monad.html
- Agda-Interaction-Options-Lenses.html
- Agda-Interaction-Options.html
- Agda-Interaction-Response.html
- Agda-Interaction-SearchAbout.html
- Agda-Main.html
- Agda-Syntax-Abstract-Copatterns.html
- Agda-Syntax-Abstract-Name.html
- Agda-Syntax-Abstract-Pretty.html
- Agda-Syntax-Abstract-Views.html
- Agda-Syntax-Abstract.html
- Agda-Syntax-Common.html
- Agda-Syntax-Concrete-Definitions.html
- Agda-Syntax-Concrete-Generic.html
- Agda-Syntax-Concrete-Name.html
- Agda-Syntax-Concrete-Operators-Parser-Monad.html
- Agda-Syntax-Concrete-Operators-Parser.html
- Agda-Syntax-Concrete-Operators.html
- Agda-Syntax-Concrete-Pretty.html
- Agda-Syntax-Concrete.html
- Agda-Syntax-Fixity.html
- Agda-Syntax-IdiomBrackets.html
- Agda-Syntax-Info.html
- Agda-Syntax-Internal-Defs.html
- Agda-Syntax-Internal-Generic.html
- Agda-Syntax-Internal-Names.html
- Agda-Syntax-Internal-Pattern.html
- Agda-Syntax-Internal-SanityCheck.html
- Agda-Syntax-Internal.html
- Agda-Syntax-Literal.html
- Agda-Syntax-Notation.html
- Agda-Syntax-Parser-Alex.html
- Agda-Syntax-Parser-Comments.html
- Agda-Syntax-Parser-Layout.html
- Agda-Syntax-Parser-LexActions.html
- Agda-Syntax-Parser-Lexer.html
- Agda-Syntax-Parser-Literate.html
- Agda-Syntax-Parser-LookAhead.html
- Agda-Syntax-Parser-Monad.html
- Agda-Syntax-Parser-Parser.html
- Agda-Syntax-Parser-StringLiterals.html
- Agda-Syntax-Parser-Tokens.html
- Agda-Syntax-Parser.html
- Agda-Syntax-Position.html
- Agda-Syntax-Reflected.html
- Agda-Syntax-Scope-Base.html
- Agda-Syntax-Scope-Monad.html
- Agda-Syntax-Translation-AbstractToConcrete.html
- Agda-Syntax-Translation-ConcreteToAbstract.html
- Agda-Syntax-Translation-InternalToAbstract.html
- Agda-Syntax-Translation-ReflectedToAbstract.html
- Agda-Syntax-Treeless.html
- Agda-Termination-CallGraph.html
- Agda-Termination-CallMatrix.html
- Agda-Termination-CutOff.html
- Agda-Termination-Inlining.html
- Agda-Termination-Monad.html
- Agda-Termination-Order.html
- Agda-Termination-RecCheck.html
- Agda-Termination-Semiring.html
- Agda-Termination-SparseMatrix.html
- Agda-Termination-TermCheck.html
- Agda-Termination-Termination.html
- Agda-TheTypeChecker.html
- Agda-TypeChecking-Abstract.html
- Agda-TypeChecking-CheckInternal.html
- Agda-TypeChecking-CompiledClause-Compile.html
- Agda-TypeChecking-CompiledClause-Match.html
- Agda-TypeChecking-CompiledClause.html
- Agda-TypeChecking-Constraints.html
- Agda-TypeChecking-Conversion.html
- Agda-TypeChecking-Coverage-Match.html
- Agda-TypeChecking-Coverage-SplitTree.html
- Agda-TypeChecking-Coverage.html
- Agda-TypeChecking-Datatypes.html
- Agda-TypeChecking-DeadCode.html
- Agda-TypeChecking-DisplayForm.html
- Agda-TypeChecking-DropArgs.html
- Agda-TypeChecking-Empty.html
- Agda-TypeChecking-Errors.html
- Agda-TypeChecking-EtaContract.html
- Agda-TypeChecking-Forcing.html
- Agda-TypeChecking-Free-Lazy.html
- Agda-TypeChecking-Free-Old.html
- Agda-TypeChecking-Free.html
- Agda-TypeChecking-Implicit.html
- Agda-TypeChecking-Injectivity.html
- Agda-TypeChecking-InstanceArguments.html
- Agda-TypeChecking-Irrelevance.html
- Agda-TypeChecking-Level.html
- Agda-TypeChecking-LevelConstraints.html
- Agda-TypeChecking-MetaVars-Mention.html
- Agda-TypeChecking-MetaVars-Occurs.html
- Agda-TypeChecking-MetaVars.html
- Agda-TypeChecking-Monad-Base.html
- Agda-TypeChecking-Monad-Benchmark.html
- Agda-TypeChecking-Monad-Builtin.html
- Agda-TypeChecking-Monad-Caching.html
- Agda-TypeChecking-Monad-Closure.html
- Agda-TypeChecking-Monad-Constraints.html
- Agda-TypeChecking-Monad-Context.html
- Agda-TypeChecking-Monad-Env.html
- Agda-TypeChecking-Monad-Exception.html
- Agda-TypeChecking-Monad-Imports.html
- Agda-TypeChecking-Monad-Local.html
- Agda-TypeChecking-Monad-MetaVars.html
- Agda-TypeChecking-Monad-Mutual.html
- Agda-TypeChecking-Monad-Open.html
- Agda-TypeChecking-Monad-Options.html
- Agda-TypeChecking-Monad-Sharing.html
- Agda-TypeChecking-Monad-Signature.html
- Agda-TypeChecking-Monad-SizedTypes.html
- Agda-TypeChecking-Monad-State.html
- Agda-TypeChecking-Monad-Statistics.html
- Agda-TypeChecking-Monad-Trace.html
- Agda-TypeChecking-Monad.html
- Agda-TypeChecking-Patterns-Abstract.html
- Agda-TypeChecking-Patterns-Match.html
- Agda-TypeChecking-Polarity.html
- Agda-TypeChecking-Positivity-Occurrence.html
- Agda-TypeChecking-Positivity.html
- Agda-TypeChecking-Pretty.html
- Agda-TypeChecking-Primitive.html
- Agda-TypeChecking-ProjectionLike.html
- Agda-TypeChecking-Quote.html
- Agda-TypeChecking-ReconstructParameters.html
- Agda-TypeChecking-RecordPatterns.html
- Agda-TypeChecking-Records.html
- Agda-TypeChecking-Reduce-Fast.html
- Agda-TypeChecking-Reduce-Monad.html
- Agda-TypeChecking-Reduce.html
- Agda-TypeChecking-Rewriting-NonLinMatch.html
- Agda-TypeChecking-Rewriting.html
- Agda-TypeChecking-Rules-Builtin-Coinduction.html
- Agda-TypeChecking-Rules-Builtin.html
- Agda-TypeChecking-Rules-Data.html
- Agda-TypeChecking-Rules-Decl.html
- Agda-TypeChecking-Rules-Def.html
- Agda-TypeChecking-Rules-Display.html
- Agda-TypeChecking-Rules-LHS-AsPatterns.html
- Agda-TypeChecking-Rules-LHS-Implicit.html
- Agda-TypeChecking-Rules-LHS-Instantiate.html
- Agda-TypeChecking-Rules-LHS-Problem.html
- Agda-TypeChecking-Rules-LHS-ProblemRest.html
- Agda-TypeChecking-Rules-LHS-Split.html
- Agda-TypeChecking-Rules-LHS-Unify.html
- Agda-TypeChecking-Rules-LHS.html
- Agda-TypeChecking-Rules-Record.html
- Agda-TypeChecking-Rules-Term.html
- Agda-TypeChecking-Serialise-Base.html
- Agda-TypeChecking-Serialise-Instances-Abstract.html
- Agda-TypeChecking-Serialise-Instances-Common.html
- Agda-TypeChecking-Serialise-Instances-Compilers.html
- Agda-TypeChecking-Serialise-Instances-Highlighting.html
- Agda-TypeChecking-Serialise-Instances-Internal.html
- Agda-TypeChecking-Serialise-Instances.html
- Agda-TypeChecking-Serialise.html
- Agda-TypeChecking-SizedTypes-Solve.html
- Agda-TypeChecking-SizedTypes-Syntax.html
- Agda-TypeChecking-SizedTypes-Utils.html
- Agda-TypeChecking-SizedTypes-WarshallSolver.html
- Agda-TypeChecking-SizedTypes.html
- Agda-TypeChecking-Substitute-Class.html
- Agda-TypeChecking-Substitute-DeBruijn.html
- Agda-TypeChecking-Substitute.html
- Agda-TypeChecking-SyntacticEquality.html
- Agda-TypeChecking-Telescope.html
- Agda-TypeChecking-Unquote.html
- Agda-TypeChecking-With.html
- Agda-Utils-AssocList.html
- Agda-Utils-Bag.html
- Agda-Utils-Benchmark.html
- Agda-Utils-BiMap.html
- Agda-Utils-Char.html
- Agda-Utils-Cluster.html
- Agda-Utils-Either.html
- Agda-Utils-Empty.html
- Agda-Utils-Environment.html
- Agda-Utils-Except.html
- Agda-Utils-Favorites.html
- Agda-Utils-FileName.html
- Agda-Utils-Function.html
- Agda-Utils-Functor.html
- Agda-Utils-Geniplate.html
- Agda-Utils-Graph-AdjacencyMap-Unidirectional.html
- Agda-Utils-Hash.html
- Agda-Utils-HashMap.html
- Agda-Utils-Haskell-Syntax.html
- Agda-Utils-IO-Binary.html
- Agda-Utils-IO-Directory.html
- Agda-Utils-IO-UTF8.html
- Agda-Utils-IORef.html
- Agda-Utils-Impossible.html
- Agda-Utils-Lens-Examples.html
- Agda-Utils-Lens.html
- Agda-Utils-List.html
- Agda-Utils-ListT.html
- Agda-Utils-Map.html
- Agda-Utils-Maybe-Strict.html
- Agda-Utils-Maybe.html
- Agda-Utils-Memo.html
- Agda-Utils-Monad.html
- Agda-Utils-Null.html
- Agda-Utils-Parser-MemoisedCPS.html
- Agda-Utils-Parser-ReadP.html
- Agda-Utils-PartialOrd.html
- Agda-Utils-Permutation.html
- Agda-Utils-Pointer.html
- Agda-Utils-Pretty.html
- Agda-Utils-SemiRing.html
- Agda-Utils-Singleton.html
- Agda-Utils-Size.html
- Agda-Utils-String.html
- Agda-Utils-Suffix.html
- Agda-Utils-Time.html
- Agda-Utils-Trie.html
- Agda-Utils-Tuple.html
- Agda-Utils-Update.html
- Agda-Utils-VarSet.html
- Agda-Utils-Warshall.html
- Agda-Version.html
- Agda-VersionCommit.html
- Paths_Agda.html
- hscolour.css
