IndexAgda-2.8.0.2
A
- AAgda.Compiler.MAlonzo.MiscAgda.Interaction.EmacsCommand
- aArityAgda.Syntax.Treeless
- aBodyAgda.Syntax.TreelessAgda.Syntax.TreelessAgda.Syntax.Treeless
- abortAgda.TypeChecking.MetaVars.Occurs
- abortAgda.Interaction.Base
- abortIfBlockedAgda.TypeChecking.Reduce
- AboveAgda.Compiler.JS.Pretty
- aboveAgda.Utils.IntSet.Infinite
- AbsAgda.Syntax.InternalAgda.Syntax.Reflected
- AbsAgda.Syntax.InternalAgda.Syntax.Reflected
- absAppAgda.TypeChecking.Substitute.Class
- absAppNAgda.TypeChecking.Names
- absBodyAgda.TypeChecking.Substitute.Class
- AbsentRHSRequiresAbsurdPatternAgda.TypeChecking.Monad.Base
- AbsentRHSRequiresAbsurdPattern_Agda.Interaction.Options.Errors
- AbsModuleAgda.Syntax.Scope.Base
- AbsNAgda.TypeChecking.Names
- AbsNAgda.TypeChecking.Names
- AbsNameAgda.Syntax.Scope.Base
- absNameAgda.Syntax.InternalAgda.Syntax.Internal
- AbsNameWithFixityAgda.TypeChecking.Serialise.Instances.Abstract
- AbsNameWithFixityAgda.TypeChecking.Serialise.Instances.Abstract
- absNNameAgda.TypeChecking.Names
- AbsOfConAgda.Syntax.Translation.ConcreteToAbstract
- AbsOfRefAgda.Syntax.Translation.ReflectedToAbstract
- absoluteAgda.Utils.FileName
- AbsolutePathAgda.TypeChecking.Monad.Base.TypesAgda.Utils.FileName
- AbsolutePathAgda.Utils.FileName
- AbsTermAgda.TypeChecking.Abstract
- absTermAgda.TypeChecking.Abstract
- AbstractAgda.TypeChecking.Substitute.Class
- AbstractAgda.Syntax.Concrete
- abstractAgda.TypeChecking.Substitute.Class
- abstractArgsAgda.TypeChecking.Substitute
- AbstractConstructorNotInScopeAgda.TypeChecking.Monad.Base
- AbstractConstructorNotInScope_Agda.Interaction.Options.Errors
- AbstractDefAgda.Syntax.Common
- AbstractDefnAgda.TypeChecking.Monad.Base
- AbstractInLetBindingsAgda.TypeChecking.Monad.Base
- AbstractInLetBindings_Agda.Interaction.Options.Warnings
- AbstractModeAgda.TypeChecking.Monad.Base
- AbstractModeAgda.TypeChecking.Monad.Base
- AbstractModuleAgda.Syntax.Scope.Base
- abstractNAgda.TypeChecking.Names
- AbstractNameAgda.Syntax.Scope.Base
- abstractTAgda.TypeChecking.Names
- abstractTermAgda.TypeChecking.Abstract
- abstractToConcrete_Agda.Syntax.Translation.AbstractToConcrete
- abstractToConcreteCtxAgda.Syntax.Translation.AbstractToConcrete
- abstractToConcreteHidingAgda.Syntax.Translation.AbstractToConcrete
- abstractToConcreteQNameAgda.Syntax.Translation.AbstractToConcrete
- abstractToConcreteScopeAgda.Syntax.Translation.AbstractToConcrete
- abstractToConcreteTelescopeAgda.Syntax.Translation.AbstractToConcrete
- abstractToConcreteUnqualifyAgda.Syntax.Translation.AbstractToConcrete
- abstractTypeAgda.TypeChecking.Abstract
- AbsurdAgda.Syntax.ConcreteAgda.TypeChecking.Rules.LHS.Problem
- absurdAgda.Utils.Empty
- absurdBindingAgda.Syntax.Parser.Helpers
- absurdBodyAgda.Syntax.Internal
- AbsurdClauseAgda.Syntax.Reflected
- AbsurdLamAgda.Syntax.AbstractAgda.Syntax.Concrete
- absurdLambdaNameAgda.TypeChecking.Monad.Base
- AbsurdMatchAgda.Syntax.Internal.Blockers
- absurdNEMapAgda.Utils.Map1
- AbsurdPAgda.Syntax.AbstractAgda.Syntax.ConcreteAgda.Syntax.Reflected
- absurdPAgda.Syntax.Internal
- AbsurdPatternAgda.TypeChecking.Rules.LHS.Problem
- absurdPatternNameAgda.Syntax.Internal
- AbsurdPatternRequiresAbsentRHSAgda.TypeChecking.Monad.Base
- AbsurdPatternRequiresAbsentRHS_Agda.Interaction.Options.Warnings
- absurdPatternsAgda.TypeChecking.Rules.LHS.Problem
- AbsurdRHSAgda.Syntax.AbstractAgda.Syntax.Concrete
- AbsurdRHSSAgda.Syntax.Abstract
- absVAgda.TypeChecking.Substitute
- AccessAgda.Syntax.Common
- acCheckedArgsAgda.TypeChecking.Monad.Base
- AccountAgda.BenchmarkingAgda.Utils.Benchmark
- accumAgda.Utils.IArray
- accumArrayAgda.Utils.IArray
- acDataAgda.TypeChecking.Monad.Base
- acFunAgda.TypeChecking.Monad.Base
- aConAgda.Syntax.Treeless
- ACStateAgda.TypeChecking.Monad.Base
- ActionAgda.TypeChecking.CheckInternal
- ActionAgda.TypeChecking.CheckInternal
- activateLoadedFileCacheAgda.TypeChecking.Monad.Caching
- activeBackendAgda.TypeChecking.Monad.State
- activeBackendMayEraseTypeAgda.TypeChecking.Monad.State
- acTypeAgda.TypeChecking.Monad.Base
- acyclicAgda.Utils.Graph.AdjacencyMap.Unidirectional
- addAgda.Termination.SparseMatrix
- addAgda.Termination.Semiring
- addAndUnblockerAgda.TypeChecking.Constraints
- addAwakeConstraintAgda.TypeChecking.Monad.Constraints
- addAwakeConstraint'Agda.TypeChecking.Monad.Constraints
- addClausesAgda.TypeChecking.Monad.Signature
- addCoercionsAgda.Compiler.MAlonzo.Coerce
- addCohesionAgda.Syntax.Common
- addColumnAgda.Termination.SparseMatrix
- addCompilerPragmaAgda.TypeChecking.Monad.State
- addCompositionForRecordAgda.TypeChecking.Rules.Record
- addConstantAgda.TypeChecking.Monad.Signature
- addConstant'Agda.TypeChecking.Monad.Signature
- addConstraintAgda.TypeChecking.Monad.Constraints
- addConstraint'Agda.TypeChecking.Monad.Constraints
- addConstraintTCMAgda.TypeChecking.Constraints
- addConstraintToAgda.TypeChecking.Monad.Constraints
- AddContextAgda.TypeChecking.Monad.Context
- addContextAgda.TypeChecking.Monad.Context
- addCPUTimeAgda.Utils.Benchmark
- addCtxAgda.TypeChecking.Monad.Context
- addDataConsAgda.TypeChecking.Monad.Signature
- addDefaultLibrariesAgda.TypeChecking.Monad.Options
- addDisplayFormAgda.TypeChecking.Monad.Signature
- addDisplayFormsAgda.TypeChecking.Monad.Signature
- addEdgeAgda.TypeChecking.SizedTypes.WarshallSolver
- addFinalNewLineAgda.Utils.String
- addFlexRigAgda.TypeChecking.Free.Lazy
- addForeignCodeAgda.TypeChecking.Monad.State
- addImportAgda.TypeChecking.Monad.Imports
- addImportCycleCheckAgda.TypeChecking.Monad.Imports
- addLetBindingAgda.TypeChecking.Monad.Context
- addLetBinding'Agda.TypeChecking.Monad.Context
- addLoneSigAgda.Syntax.Concrete.Definitions.Monad
- addModalityAgda.Syntax.Common
- addModuleToScopeAgda.Syntax.Scope.Base
- addNameToScopeAgda.Syntax.Scope.Base
- addOrUnblockerAgda.TypeChecking.Constraints
- addPolarityAgda.Syntax.Common
- addPolarity'Agda.Syntax.Common
- addPragmaAgda.TypeChecking.Monad.Signature
- addProfileOptionAgda.Utils.ProfileOptions
- addQuantityAgda.Syntax.Common
- addRecordNameContextAgda.TypeChecking.Monad.Context
- addRelevanceAgda.Syntax.Common
- addRewriteRulesAgda.TypeChecking.Rewriting
- addRewriteRulesForAgda.TypeChecking.Monad.State
- addRowAgda.Termination.SparseMatrix
- addSectionAgda.TypeChecking.Monad.Signature
- addSuffixAgda.Utils.Suffix
- addTrustedExecutablesAgda.TypeChecking.Monad.Options
- addTypeAgda.Syntax.Parser.Helpers
- addTypedInstanceAgda.TypeChecking.InstanceArguments
- addTypedInstance'Agda.TypeChecking.InstanceArguments
- addTypedPatternsAgda.TypeChecking.Rules.Term
- addUniqueIntsAgda.Utils.Graph.AdjacencyMap.Unidirectional
- addUnknownInstanceAgda.TypeChecking.Monad.State
- addVarToBindAgda.Syntax.Scope.Monad
- addWarningAgda.TypeChecking.Warnings
- ADefAgda.TypeChecking.Positivity
- aDefToModeAgda.TypeChecking.Monad.Base
- adjustAgda.Utils.BiMapAgda.Utils.Map1Agda.Utils.Trie
- adjustAtAgda.Utils.Map1
- adjustMAgda.Utils.Map
- adjustM'Agda.Utils.Map
- adjustMaxAgda.Utils.Map1
- adjustMaxWithKeyAgda.Utils.Map1
- adjustMinAgda.Utils.Map1
- adjustMinWithKeyAgda.Utils.Map1
- adjustPreconditionAgda.Utils.BiMap
- adjustWithKeyAgda.Utils.Map1
- ADotTAgda.Syntax.Abstract.Pattern
- AesonExceptionAgda.Interaction.JSON
- AesonExceptionAgda.Interaction.JSON
- AffineHoleAgda.Utils.AffineHole
- AgdaErrorAgda.Interaction.ExitCode
- agdaErrorFromIntAgda.Interaction.ExitCode
- agdaErrorToIntAgda.Interaction.ExitCode
- agdaFileExtensionsAgda.Syntax.Parser
- AgdaFileTypeAgda.Syntax.Common
- AgdaLibFileAgda.Interaction.LibraryAgda.Interaction.Library.Base
- AgdaLibFileAgda.Interaction.LibraryAgda.Interaction.Library.Base
- agdaLibFilesAgda.Interaction.Library.Base
- agdaTermTypeAgda.TypeChecking.Unquote
- agdaTypeTypeAgda.TypeChecking.Unquote
- aGuardAgda.Syntax.Treeless
- AlexEOFAgda.Syntax.Parser.Lexer
- AlexErrorAgda.Syntax.Parser.Lexer
- alexGetByteAgda.Syntax.Parser.Alex
- alexGetCharAgda.Syntax.Parser.Alex
- AlexInputAgda.Syntax.Parser.Alex
- AlexInputAgda.Syntax.Parser.Alex
- alexInputPrevCharAgda.Syntax.Parser.Alex
- AlexReturnAgda.Syntax.Parser.Lexer
- alexScanUserAgda.Syntax.Parser.Lexer
- AlexSkipAgda.Syntax.Parser.Lexer
- AlexTokenAgda.Syntax.Parser.Lexer
- alignAgda.Syntax.Common.PrettyAgda.Utils.List
- aLitAgda.Syntax.Treeless
- AllAgda.Utils.IndexedList
- AllAgda.Utils.TypeLevel
- allApplyElimsAgda.Syntax.Internal.Elim
- AllAreOpaqueAgda.Syntax.Common
- allBlockingDefsAgda.Syntax.Internal.Blockers
- allBlockingMetasAgda.Syntax.Internal.Blockers
- allBlockingProblemsAgda.Syntax.Internal.Blockers
- allCohesionsAgda.Syntax.Common
- allConsecutiveAgda.Utils.List
- allDuplicatesAgda.Utils.List
- allEqualAgda.Utils.ListAgda.Utils.List1
- allFlexVarsAgda.TypeChecking.Rules.LHS.Problem
- allFreeVarsAgda.TypeChecking.Free
- allHelpTopicsAgda.Interaction.Options.Help
- allIndicesAgda.Utils.IndexedList
- allIrrelevantOrPropTelAgda.TypeChecking.Irrelevance
- allJustMAgda.Utils.Maybe
- AllKindsOfNamesAgda.Syntax.Scope.Base
- allKindsOfNamesAgda.Syntax.Scope.Base
- allLeftAgda.Utils.Either
- allListTAgda.Utils.ListT
- allMAgda.Utils.Monad
- allMetaClassesAgda.TypeChecking.Monad.MetaVars
- AllMetasAgda.Syntax.Internal.MetaVars
- allMetasAgda.Syntax.Internal.MetaVars
- allMetas'Agda.Syntax.Internal.MetaVars
- allMetasListAgda.Syntax.Internal.MetaVars
- allModalPolaritiesAgda.Syntax.Common
- AllModulesAgda.Mimer.Options
- allNamesInScopeAgda.Syntax.Scope.Base
- allNamesInScope'Agda.Syntax.Scope.Base
- allNameSpacesAgda.Syntax.Scope.Base
- allNodesAgda.Utils.Graph.AdjacencyMap.Unidirectional
- allNullaryToStringTagAgda.Interaction.JSON
- allowAllReductionsAgda.TypeChecking.Monad.Env
- AllowAmbiguousNamesAgda.Syntax.Scope.Base
- AllowedReductionAgda.TypeChecking.Monad.Base
- AllowedReductionsAgda.TypeChecking.Monad.Base
- AllowedVarAgda.TypeChecking.MetaVars.Occurs
- allowedVarsAgda.TypeChecking.MetaVars.Occurs
- allowNonTerminatingReductionsAgda.TypeChecking.Monad.Env
- allowOmittedFieldsAgda.Interaction.JSON
- allProjElimsAgda.Syntax.Internal.Elim
- allReductionsAgda.TypeChecking.Monad.Base
- allRelevantVarsAgda.TypeChecking.Free
- allRelevantVarsIgnoringAgda.TypeChecking.Free
- allRightAgda.Utils.Either
- allThingsInScopeAgda.Syntax.Scope.Base
- allUsedNamesAgda.Syntax.Abstract.UsedNames
- allVarsAgda.TypeChecking.Free
- AllWarningsAgda.TypeChecking.Warnings
- allWarningsAgda.Interaction.Options.Warnings
- AltAgda.Utils.Haskell.Syntax
- AltAgda.Utils.Haskell.Syntax
- alterAgda.Utils.BiMapAgda.Utils.Map1
- alter'Agda.Utils.Map1
- alterFAgda.Utils.Map1
- alterF'Agda.Utils.Map1
- alterMAgda.Utils.BiMap
- alterPreconditionAgda.Utils.BiMap
- altM1Agda.Utils.Monad
- AlwaysColourAgda.Interaction.OptionsAgda.Interaction.Options
- alwaysMakeAbstractAgda.TypeChecking.Monad.Signature
- alwaysReportSDocAgda.TypeChecking.Monad.Debug
- alwaysReportSLnAgda.TypeChecking.Monad.Debug
- alwaysUnblockAgda.Syntax.Internal.Blockers
- amapAgda.Utils.IArray
- AmbiguousAgda.Interaction.FindFile
- AmbiguousAnythingAgda.Syntax.Scope.Base
- AmbiguousConProjsAgda.Syntax.Scope.Base
- AmbiguousConstructorAgda.Syntax.Concrete.Definitions.ErrorsAgda.TypeChecking.Monad.Base
- AmbiguousConstructor_Agda.Interaction.Options.Errors
- AmbiguousConstructorN_Agda.Interaction.Options.Errors
- AmbiguousDeclNameAgda.Syntax.Scope.Base
- AmbiguousFieldAgda.TypeChecking.Monad.Base
- AmbiguousField_Agda.Interaction.Options.Errors
- AmbiguousFunClausesAgda.Syntax.Concrete.Definitions.Errors
- AmbiguousFunClauses_Agda.Interaction.Options.Errors
- AmbiguousLibAgda.Interaction.Library.Base
- AmbiguousLocalVarAgda.Syntax.Scope.Base
- AmbiguousModuleAgda.TypeChecking.Monad.Base
- AmbiguousModule_Agda.Interaction.Options.Errors
- AmbiguousNameAgda.TypeChecking.Monad.Base
- AmbiguousName_Agda.Interaction.Options.Errors
- AmbiguousNameReasonAgda.Syntax.Scope.Base
- ambiguousNamesInReasonAgda.Syntax.Scope.Base
- AmbiguousNothingAgda.Syntax.Scope.Base
- AmbiguousOverloadedProjectionAgda.TypeChecking.Monad.Base
- AmbiguousOverloadedProjection_Agda.Interaction.Options.Errors
- AmbiguousParseForApplicationAgda.TypeChecking.Monad.Base
- AmbiguousParseForApplication_Agda.Interaction.Options.Errors
- AmbiguousParseForLHSAgda.TypeChecking.Monad.Base
- AmbiguousParseForLHS_Agda.Interaction.Options.Errors
- AmbiguousProjectionAgda.TypeChecking.Monad.Base
- AmbiguousProjection_Agda.Interaction.Options.Errors
- AmbiguousQNameAgda.Syntax.Abstract.Name
- AmbiguousTopLevelModuleNameAgda.TypeChecking.Monad.Base
- AmbiguousTopLevelModuleName_Agda.Interaction.Options.Errors
- AmbQAgda.Syntax.Abstract.Name
- aModeToDefAgda.TypeChecking.Monad.Base
- amodLineageAgda.Syntax.Scope.Base
- amodNameAgda.Syntax.Scope.Base
- anameKindAgda.Syntax.Scope.Base
- anameLineageAgda.Syntax.Scope.Base
- anameMetadataAgda.Syntax.Scope.Base
- anameNameAgda.Syntax.Scope.Base
- AnArgAgda.TypeChecking.Positivity
- and2MAgda.Utils.Monad
- andMAgda.Utils.Monad
- andThenAgda.Syntax.Parser.LexActions
- AnnAgda.TypeChecking.Rules.LHS.ProblemAgda.Utils.Haskell.Syntax
- annLockAgda.Syntax.Common
- annotateAgda.Syntax.Common.Pretty
- annotateAgda.Utils.Parser.MemoisedCPS
- annotateAspectAgda.Syntax.Common.Pretty
- annotateDeclsAgda.Syntax.Scope.Monad
- annotateExprAgda.Syntax.Scope.Monad
- AnnotationAgda.Syntax.Common
- AnnotationAgda.Syntax.Common
- AnnotationPatternAgda.TypeChecking.Rules.LHS.Problem
- antiUnifyAgda.TypeChecking.Conversion
- antiUnifyArgsAgda.TypeChecking.Conversion
- antiUnifyElimsAgda.TypeChecking.Conversion
- antiUnifyTypeAgda.TypeChecking.Conversion
- AnyAbstractAgda.Syntax.Abstract
- anyAbstractAgda.Syntax.Abstract
- anyDefsAgda.Termination.RecCheck
- anyEllipsisVarAgda.Interaction.MakeCase
- AnyIsAbstractAgda.Syntax.Common
- anyIsAbstractAgda.Syntax.Common
- anyListTAgda.Utils.ListT
- anyMAgda.Utils.Monad
- AnyRigidAgda.TypeChecking.MetaVars.Occurs
- anyRigidAgda.TypeChecking.MetaVars.Occurs
- AnyWhereAgda.Syntax.Concrete
- AnyWhere_Agda.Syntax.Concrete
- APatternLikeAgda.Syntax.Abstract.Pattern
- AppAgda.Syntax.AbstractAgda.Syntax.ConcreteAgda.TypeChecking.EtaContractAgda.Utils.Haskell.Syntax
- appAgda.Syntax.Abstract
- appBracketsAgda.Syntax.Fixity
- appBrackets'Agda.Syntax.Fixity
- appDef'Agda.TypeChecking.Reduce
- appDefE'Agda.TypeChecking.Reduce
- appendAgda.Utils.List1Agda.Utils.List2
- appendArgNamesAgda.Syntax.Common
- appendListAgda.Utils.List1Agda.Utils.List2
- AppInfoAgda.Syntax.Info
- AppInfoAgda.Syntax.Info
- appInteractionOutputCallbackAgda.TypeChecking.Monad.State
- AppKAgda.Syntax.Concrete.Operators.Parser.Monad
- ApplicationAgda.Syntax.Abstract.Views
- AppliedAgda.Syntax.Scope.Base
- ApplyAgda.TypeChecking.Substitute.Class
- ApplyAgda.Utils.TypeLevel
- ApplyAgda.Compiler.JS.SyntaxAgda.Syntax.AbstractAgda.Syntax.Internal.ElimAgda.Syntax.Reflected
- applyAgda.Compiler.JS.SubstitutionAgda.Utils.AssocList
- applyAgda.TypeChecking.Substitute.Class
- apply1Agda.TypeChecking.Substitute.Class
- apply2Agda.TypeChecking.Substitute.Class
- applyAttrAgda.Syntax.Parser.Helpers
- applyAttributesAgda.Syntax.Parser.Helpers
- applyAttrsAgda.Syntax.Parser.Helpers
- applyAttrs1Agda.Syntax.Parser.Helpers
- applyCohesionAgda.Syntax.Common
- applyCohesionToContextAgda.TypeChecking.Monad.Modality
- applyCohesionToContextOnlyAgda.TypeChecking.Monad.Modality
- applyDefAgda.TypeChecking.Monad.Signature
- applyEAgda.TypeChecking.Substitute.Class
- applyFlagsToTCWarningsAgda.TypeChecking.ErrorsAgda.TypeChecking.Pretty.Warning
- applyFlagsToTCWarningsPreservingAgda.TypeChecking.ErrorsAgda.TypeChecking.Pretty.Warning
- applyImportDirectiveAgda.Syntax.Scope.Base
- applyImportDirective_Agda.Syntax.Scope.Base
- applyImportDirectiveMAgda.Syntax.Scope.Monad
- applyModalityAgda.Syntax.Common
- applyModalityToContextAgda.TypeChecking.Monad.Modality
- applyModalityToContextFunBodyAgda.TypeChecking.Monad.Modality
- applyModalityToContextOnlyAgda.TypeChecking.Monad.Modality
- applyModalityToJudgementOnlyAgda.TypeChecking.Monad.Modality
- applyNAgda.TypeChecking.Names
- applyN'Agda.TypeChecking.Names
- applyNLPatSubstAgda.TypeChecking.Substitute
- applyNLSubstToDomAgda.TypeChecking.Substitute
- ApplyOrIApplyAgda.TypeChecking.Coverage.Match
- applyPatSubstAgda.TypeChecking.Substitute
- applyPolarityAgda.Syntax.Common
- applyPolarityToContextAgda.TypeChecking.Monad.Modality
- applyQuantityAgda.Syntax.Common
- applyQuantityToJudgementAgda.TypeChecking.Monad.Modality
- applyRelevanceAgda.Syntax.Common
- applyRelevanceToContextAgda.TypeChecking.Monad.Modality
- applyRelevanceToContextFunBodyAgda.TypeChecking.Monad.Modality
- applyRelevanceToContextOnlyAgda.TypeChecking.Monad.Modality
- applyRelevanceToJudgementOnlyAgda.TypeChecking.Monad.Modality
- ApplySAgda.Syntax.Abstract
- applysAgda.TypeChecking.Substitute.Class
- applySectionAgda.TypeChecking.Monad.Signature
- applySection'Agda.TypeChecking.Monad.Signature
- applySplitPSubstAgda.TypeChecking.Coverage.Match
- applySubstAgda.TypeChecking.Substitute.Class
- applySubstTermAgda.TypeChecking.Substitute
- applyTermEAgda.TypeChecking.Substitute
- applyUnderAgda.TypeChecking.Rules.LHS.Unify.Types
- applyUnlessAgda.Utils.Function
- applyUnlessItsAgda.Utils.Function
- applyUnlessMAgda.Utils.Function
- applyUnlessNullAgda.Utils.Null
- applyWhenAgda.Utils.Function
- applyWhenItsAgda.Utils.Function
- applyWhenJustAgda.Utils.Function
- applyWhenMAgda.Utils.Function
- applyWhenNothingAgda.Utils.Function
- applyWhenVerboseSAgda.TypeChecking.Monad.DebugAgda.TypeChecking.Reduce.Monad
- appOriginAgda.Syntax.Info
- AppPAgda.Syntax.Concrete
- appPAgda.Syntax.Concrete.Operators.Parser
- appParensAgda.Syntax.Info
- appRangeAgda.Syntax.Info
- approxConInductionAgda.Syntax.Scope.Base
- appTelAgda.TypeChecking.Names
- AppVAgda.Syntax.Concrete.Operators.Parser
- AppViewAgda.Syntax.Concrete
- AppViewAgda.Syntax.Abstract.Views
- AppViewAgda.Syntax.Concrete
- appViewAgda.Syntax.Abstract.ViewsAgda.Syntax.Concrete
- AppView'Agda.Syntax.Abstract.Views
- appView'Agda.Syntax.Abstract.Views
- apReduceAgda.TypeChecking.Monad.Base
- apTCMTAgda.TypeChecking.Monad.Base
- areWeCachingAgda.TypeChecking.Monad.Caching
- ArgAgda.Syntax.Common
- ArgAgda.Syntax.Common
- ArgDescrAgda.Interaction.OptionsAgda.Utils.GetOpt
- argFromDomAgda.Syntax.Internal
- argHAgda.TypeChecking.Primitive.Base
- ArgInfoAgda.Syntax.Common
- ArgInfoAgda.Syntax.Common
- argInfoAgda.Syntax.Common
- argInfoAnnotationAgda.Syntax.Common
- argInfoFreeVariablesAgda.Syntax.Common
- argInfoHidingAgda.Syntax.Common
- argInfoModalityAgda.Syntax.Common
- argInfoOriginAgda.Syntax.Common
- argNAgda.TypeChecking.Primitive.Base
- ArgNameAgda.Syntax.Common
- argNameToStringAgda.Syntax.Common
- ArgNodeAgda.TypeChecking.Positivity
- ArgOrderAgda.Utils.GetOpt
- ArgsAgda.Syntax.AbstractAgda.Syntax.InternalAgda.Syntax.ReflectedAgda.Syntax.Treeless
- ArgsCheckStateAgda.TypeChecking.Monad.Base
- argsFromElimsAgda.Syntax.Internal.Elim
- argsPAgda.Syntax.Concrete.Operators.Parser
- argsToElimsAgda.Syntax.Reflected
- ArgTAgda.TypeChecking.Records
- argToDontCareAgda.TypeChecking.Substitute
- ArgumentAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- ArgumentCtxAgda.Syntax.Fixity
- argumentCtx_Agda.Syntax.Fixity
- ArgumentIndexAgda.Termination.CallMatrix
- ArgUnusedAgda.Syntax.Treeless
- ArgUsageAgda.Syntax.Treeless
- ArgUsedAgda.Syntax.Treeless
- ArgVarsAgda.TypeChecking.Names
- ArityAgda.Syntax.Common
- arityAgda.Syntax.Internal
- arityAgda.TypeChecking.CompiledClause
- arityPiPathAgda.TypeChecking.Telescope.Path
- ArrayAgda.Utils.IArray
- ArrayAgda.Interaction.JSON
- ArrayAgda.Compiler.JS.SyntaxAgda.Interaction.JSON
- arrayAgda.Utils.IArray
- arrowAgda.Syntax.Concrete.Glyph
- ArrowsAgda.Utils.TypeLevel
- AsAgda.Syntax.Concrete
- AsBAgda.TypeChecking.Rules.LHS.Problem
- AsBindingAgda.TypeChecking.Rules.LHS.Problem
- AsciiCounterAgda.Syntax.Abstract.NameAgda.Syntax.Concrete.Name
- AsciiOnlyAgda.Interaction.OptionsAgda.Syntax.Concrete.Glyph
- asFiniteAgda.Utils.Float
- AsIsAgda.Interaction.Base
- askGHCEnvAgda.Compiler.MAlonzo.Misc
- askGHCModuleEnvAgda.Compiler.MAlonzo.Misc
- askHsModuleEnvAgda.Compiler.MAlonzo.Misc
- askNameAgda.Syntax.Translation.ReflectedToAbstract
- askRAgda.TypeChecking.Monad.BaseAgda.TypeChecking.Reduce.Monad
- asksTCAgda.TypeChecking.Monad.Base
- askTCAgda.TypeChecking.Monad.Base
- askVarAgda.Syntax.Translation.ReflectedToAbstract
- asMainFunctionDefAgda.Compiler.MAlonzo.Primitives
- AsNameAgda.Syntax.Concrete
- AsNameAgda.Syntax.Concrete
- asNameAgda.Syntax.Concrete
- AsName'Agda.Syntax.Concrete
- AsPAgda.Syntax.AbstractAgda.Syntax.Concrete
- AsPatternInPatternSynonymAgda.TypeChecking.Monad.Base
- AsPatternInPatternSynonym_Agda.Interaction.Options.Errors
- asPatternsAgda.TypeChecking.Rules.LHS.Problem
- AsPatternShadowsConstructorOrPatternSynonymAgda.TypeChecking.Monad.Base
- AsPatternShadowsConstructorOrPatternSynonym_Agda.Interaction.Options.Warnings
- AspectAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- aspectAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- AspectsAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- AspectsAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- asQuantityAgda.Syntax.Common
- asRangeAgda.Syntax.Concrete
- assertConOfAgda.TypeChecking.Rewriting.NonLinPattern
- assertPathAgda.TypeChecking.Rewriting.NonLinPattern
- assertPiAgda.TypeChecking.Rewriting.NonLinPattern
- assertPristineRelevanceAgda.Syntax.Parser.Helpers
- assertProjOfAgda.TypeChecking.Rewriting.NonLinPattern
- AssignAgda.Syntax.Abstract
- AssignAgda.Interaction.Base
- assignAgda.TypeChecking.MetaVars
- assignEAgda.TypeChecking.Conversion
- assignMetaAgda.TypeChecking.MetaVars
- assignMeta'Agda.TypeChecking.MetaVars
- AssignsAgda.Syntax.Abstract
- assignTermAgda.TypeChecking.MetaVars
- assignTerm'Agda.TypeChecking.Monad.MetaVars
- assignTermTCM'Agda.TypeChecking.MetaVars
- assignVAgda.TypeChecking.Monad.MetaVars
- assignWrapperAgda.TypeChecking.MetaVars
- AsSizesAgda.TypeChecking.Monad.Base
- AssociativityAgda.Syntax.Common
- AssocListAgda.Utils.AssocList
- assocsAgda.Utils.IArrayAgda.Utils.Map1
- AsTermsOfAgda.TypeChecking.Monad.Base
- AsTypesAgda.TypeChecking.Monad.Base
- asumAgda.Utils.List
- asum1Agda.Utils.List
- asViewAgda.Syntax.Abstract.Views
- atClauseAgda.TypeChecking.Rules.Def
- atLeastTwoPartsAgda.Syntax.Concrete.Operators.Parser
- atomicLevelAgda.Syntax.Internal
- atomicModifyIORefAgda.Utils.IORef
- atomicModifyIORef'Agda.Utils.IORef
- atomicWriteIORefAgda.Utils.IORef
- atomizeLayersAgda.Syntax.Parser.Literate
- atomPAgda.Syntax.Concrete.Operators.ParserAgda.Utils.Parser.MemoisedCPS
- atTopLevelAgda.Interaction.BasicOpsAgda.Interaction.InteractionTop
- AttrAgda.Syntax.Concrete.Attribute
- AttrAgda.Syntax.Concrete.Attribute
- AttributeAgda.Syntax.Concrete.Attribute
- AttributeKindNotEnabledAgda.TypeChecking.Monad.Base
- AttributeKindNotEnabled_Agda.Interaction.Options.Errors
- AttributesAgda.Syntax.Concrete.Attribute
- attributesForModalityAgda.Syntax.Concrete.Pretty
- attributesMapAgda.Syntax.Concrete.Attribute
- attrNameAgda.Syntax.Concrete.Attribute
- attrRangeAgda.Syntax.Concrete.Attribute
- augCallInfoAgda.Termination.CallMatrix
- augCallMatrixAgda.Termination.CallMatrix
- AutoColourAgda.Interaction.OptionsAgda.Interaction.Options
- autoInlineAgda.TypeChecking.Inlining
- AwakeConstraintAgda.TypeChecking.Monad.Constraints
- AxiomAgda.TypeChecking.Monad.Base
- AxiomAgda.Syntax.AbstractAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.TypesAgda.Syntax.Reflected
- axiomConstTranspAgda.TypeChecking.Monad.Base
- AxiomDataAgda.TypeChecking.Monad.Base
- AxiomDataAgda.TypeChecking.Monad.Base
- AxiomDefnAgda.TypeChecking.Monad.Base
- AxiomNameAgda.Syntax.Scope.Base
- axiomNameAgda.Syntax.Abstract
- AxiomSAgda.Syntax.Abstract