IndexAgda-2.8.0.2
D
- DAGAgda.Utils.Graph.AdjacencyMap.Unidirectional
- DAGAgda.Utils.Graph.AdjacencyMap.Unidirectional
- dagComponentMapAgda.Utils.Graph.AdjacencyMap.Unidirectional
- dagGraphAgda.Utils.Graph.AdjacencyMap.Unidirectional
- dagInvariantAgda.Utils.Graph.AdjacencyMap.Unidirectional
- dagNodeMapAgda.Utils.Graph.AdjacencyMap.Unidirectional
- DataAgda.Syntax.Concrete
- dataAbstrAgda.TypeChecking.Monad.Base
- DataBlockAgda.Syntax.Concrete.Definitions.Types
- dataClauseAgda.TypeChecking.Monad.Base
- DataConAgda.TypeChecking.Datatypes
- dataConsAgda.TypeChecking.Monad.Base
- DataConstructorAgda.Syntax.Reflected
- DataDeclAgda.Utils.Haskell.Syntax
- DataDefAgda.Syntax.AbstractAgda.Syntax.ConcreteAgda.Syntax.Reflected
- dataDefGeneralizedParamsAgda.Syntax.Abstract
- DataDefParamsAgda.Syntax.Abstract
- DataDefParamsAgda.Syntax.Abstract
- dataDefParamsAgda.Syntax.Abstract
- DataDefSAgda.Syntax.Abstract
- dataFilesAgda.Setup.DataFiles
- dataIxsAgda.TypeChecking.Monad.Base
- dataMutualAgda.TypeChecking.Monad.Base
- DataNameAgda.Syntax.Concrete.Definitions.TypesAgda.Syntax.Scope.Base
- DataName_Agda.Interaction.Options.Errors
- DataOrNewAgda.Utils.Haskell.Syntax
- DataOrRecordAgda.Syntax.InternalAgda.TypeChecking.Rules.LHS
- DataOrRecord'Agda.Syntax.Internal
- DataOrRecord_Agda.Syntax.Internal
- DataOrRecordEAgda.TypeChecking.Monad.Base
- DataOrRecordModuleAgda.Syntax.Scope.Base
- DataOrRecSigAgda.TypeChecking.Monad.Base
- DataOrRecSigDataAgda.TypeChecking.Monad.Base
- DataOrRecSigDataAgda.TypeChecking.Monad.Base
- DataOrRecSigDefnAgda.TypeChecking.Monad.Base
- dataParsAgda.TypeChecking.Monad.Base
- dataPathAgda.Setup.DataFiles
- dataPathConsAgda.TypeChecking.Monad.Base
- DataRecOrFunAgda.Syntax.Concrete.Definitions.Types
- DataRecOrFun_Agda.Interaction.Options.Errors
- dataRecOrFunStringAgda.Interaction.Options.Errors
- datarecParsAgda.TypeChecking.Monad.Base
- DataSigAgda.Syntax.AbstractAgda.Syntax.Concrete
- DataSigSAgda.Syntax.Abstract
- DataSortAgda.Interaction.Base
- dataSortAgda.TypeChecking.Monad.Base
- dataTranspAgda.TypeChecking.Monad.Base
- dataTranspIxAgda.TypeChecking.Monad.Base
- DataTypeAgda.Utils.Haskell.Syntax
- DatatypeAgda.TypeChecking.Monad.Base
- DatatypeAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- DatatypeDataAgda.TypeChecking.Monad.Base
- DatatypeDataAgda.TypeChecking.Monad.Base
- DatatypeDefnAgda.TypeChecking.Monad.Base
- DatatypeIndexPolarityAgda.TypeChecking.Monad.Base
- DatatypeIndexPolarity_Agda.Interaction.Options.Errors
- dbPatPermAgda.Syntax.Internal.Pattern
- dbPatPerm'Agda.Syntax.Internal.Pattern
- DBPatVarAgda.Syntax.Internal
- DBPatVarAgda.Syntax.Internal
- dbPatVarIndexAgda.Syntax.Internal
- dbPatVarNameAgda.Syntax.Internal
- dbracesAgda.Syntax.Concrete.GlyphAgda.TypeChecking.Pretty
- DBSizeExprAgda.TypeChecking.SizedTypes.Syntax
- DConAgda.TypeChecking.Monad.Base
- DDefAgda.TypeChecking.Monad.Base
- DDotAgda.TypeChecking.Monad.Base
- DDot'Agda.TypeChecking.Monad.Base
- DeadCodeAgda.Benchmarking
- DeadcodeAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- DeadCodeReachableAgda.Benchmarking
- deadStandardOptionsAgda.Interaction.Options
- DeBruijnAgda.TypeChecking.Substitute.DeBruijn
- DeBruijnIndexOutOfScopeAgda.TypeChecking.Monad.Base
- DeBruijnIndexOutOfScope_Agda.Interaction.Options.Errors
- deBruijnNamedVarAgda.TypeChecking.Substitute.DeBruijn
- DeBruijnPatternAgda.Syntax.Internal
- deBruijnVarAgda.TypeChecking.Substitute.DeBruijn
- deBruijnViewAgda.TypeChecking.Substitute.DeBruijn
- debugAgda.TypeChecking.SizedTypes.Utils
- debugClauseAgda.TypeChecking.Primitive.Cubical
- debugConstraintsAgda.TypeChecking.Constraints
- debugPrintDeclAgda.TypeChecking.Rules.Decl
- DeclAgda.Utils.Haskell.Syntax
- DeclAgda.TypeChecking.Monad.Base
- DeclarationAgda.Syntax.AbstractAgda.Syntax.Concrete
- DeclarationExceptionAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Errors
- DeclarationExceptionAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Errors
- declarationExceptionAgda.Syntax.Concrete.Definitions.Monad
- DeclarationException'Agda.Syntax.Concrete.Definitions.Errors
- DeclarationException_Agda.Interaction.Options.Errors
- declarationExceptionNameAgda.TypeChecking.Errors.Names
- declarationExceptionNameStringAgda.Interaction.Options.Errors
- declarationExceptionStringAgda.Syntax.Concrete.Definitions.Errors
- DeclarationsAfterTopLevelModuleAgda.TypeChecking.Monad.Base
- DeclarationsAfterTopLevelModule_Agda.Interaction.Options.Errors
- DeclarationSpineAgda.Syntax.Abstract
- declarationSpineAgda.Syntax.Abstract
- DeclarationWarningAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Errors
- DeclarationWarningAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Errors
- declarationWarningAgda.Syntax.Concrete.Definitions.Monad
- DeclarationWarning'Agda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Errors
- declarationWarning'Agda.Syntax.Concrete.Definitions.Monad
- declarationWarningNameAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Errors
- declarationWarningName'Agda.Syntax.Concrete.Definitions.Errors
- DeclaredNamesAgda.Syntax.Abstract.Views
- declaredNamesAgda.Syntax.Abstract.Views
- DeclInfoAgda.Syntax.Info
- DeclInfoAgda.Syntax.Info
- declNameAgda.Syntax.Concrete.Definitions.Types
- declNameAgda.Syntax.Info
- DeclNumAgda.Syntax.Concrete.Definitions.Types
- declRangeAgda.Syntax.Info
- decodeAgda.Interaction.JSONAgda.TypeChecking.Serialise
- decode'Agda.Interaction.JSON
- DecodedModulesAgda.TypeChecking.Monad.Base
- decodeFileAgda.TypeChecking.Serialise
- decodeFileStrictAgda.Interaction.JSON
- decodeFileStrict'Agda.Interaction.JSON
- decodeHashesAgda.TypeChecking.Serialise
- decodeInterfaceAgda.TypeChecking.Serialise
- decodeStrictAgda.Interaction.JSON
- decodeStrict'Agda.Interaction.JSON
- decodeStrictTextAgda.Interaction.JSON
- decomposeIntervalAgda.TypeChecking.Primitive.Cubical.Base
- decomposeInterval'Agda.TypeChecking.Primitive.Cubical.Base
- decorateAgda.Interaction.InteractionTop
- DecorationAgda.Utils.Functor
- DecrAgda.Termination.Order
- decrAgda.Termination.Order
- decreaseAgda.Termination.Order
- decreasingAgda.Termination.Order
- DeepSizeViewAgda.TypeChecking.Monad.SizedTypes
- deepSizeViewAgda.TypeChecking.SizedTypes
- deepUnscopeAgda.Syntax.Abstract.Views
- deepUnscopeDeclAgda.Syntax.Abstract.Views
- deepUnscopeDeclsAgda.Syntax.Abstract.Views
- deExceptionAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Errors
- DefAgda.Syntax.Abstract
- DefAgda.Syntax.InternalAgda.Syntax.Reflected
- Def'Agda.Syntax.Abstract
- defAbstractAgda.TypeChecking.Monad.Base
- defAbstractAgda.Syntax.Info
- defAccessAgda.Syntax.Info
- defAppAgda.TypeChecking.Substitute
- DefArgAgda.TypeChecking.Positivity.Occurrence
- defArgInfoAgda.TypeChecking.Monad.Base
- defArgOccurrencesAgda.TypeChecking.Monad.Base
- defArgsAgda.TypeChecking.MetaVars.Occurs
- DefaultAgda.Utils.WithDefault
- defaultActionAgda.TypeChecking.CheckInternal
- defaultAddCtxAgda.TypeChecking.Monad.Context
- defaultAddLetBinding'Agda.TypeChecking.Monad.Context
- defaultAnnotationAgda.Syntax.Common
- defaultAppInfoAgda.Syntax.Info
- defaultAppInfo_Agda.Syntax.Info
- defaultArgAgda.Syntax.Common
- defaultArgDomAgda.Syntax.Internal
- defaultArgInfoAgda.Syntax.Common
- defaultAxiomAgda.TypeChecking.Monad.Base
- defaultBuildDoStmtAgda.Syntax.Parser.Helpers
- defaultCheckModalityAgda.Syntax.Common
- defaultCohesionAgda.Syntax.Common
- DefaultComputeAgda.Interaction.Base
- defaultCutOffAgda.Interaction.OptionsAgda.Termination.CutOff
- defaultDefnAgda.TypeChecking.Monad.Base
- defaultDisplayFormAgda.TypeChecking.Monad.Base
- defaultDomAgda.Syntax.Internal
- defaultErasedAgda.Syntax.Common
- defaultErrorNameStringAgda.Interaction.Options.Errors
- defaultFixityAgda.Syntax.Common
- defaultGetConstInfoAgda.TypeChecking.Monad.Signature
- defaultGetProfileOptionsAgda.TypeChecking.Monad.Debug
- defaultGetRewriteRulesForAgda.TypeChecking.Monad.Signature
- defaultGetVerbosityAgda.TypeChecking.Monad.Debug
- defaultImportDirAgda.Syntax.Common
- defaultInteractionOptionsAgda.Interaction.Options
- defaultInteractionOutputCallbackAgda.Interaction.ResponseAgda.TypeChecking.Monad.Base
- defaultInteractorAgda.Main
- defaultIrrelevantArgAgda.Syntax.Parser.Helpers
- defaultIrrelevantArgInfoAgda.Syntax.Common
- defaultIsDebugPrintingAgda.TypeChecking.Monad.Debug
- defaultJSONKeyOptionsAgda.Interaction.JSON
- defaultJSOptionsAgda.Compiler.JS.Compiler
- defaultLevelsToZeroAgda.TypeChecking.Level.Solve
- defaultLockAgda.Syntax.Common
- defaultModalityAgda.Syntax.Common
- defaultNamedArgAgda.Syntax.Common
- defaultNamedArgDomAgda.Syntax.Internal
- defaultNowDebugPrintingAgda.TypeChecking.Monad.Debug
- defaultOpenLevelsToZeroAgda.TypeChecking.Level.Solve
- defaultOptionsAgda.Interaction.JSONAgda.Interaction.Options
- DefaultOverlapAgda.Syntax.Common
- defaultPageGenAgda.Interaction.Highlighting.HTML.Base
- defaultParseFlagsAgda.Syntax.Parser.Monad
- defaultPatternInfoAgda.Syntax.Internal
- defaultPolarityAgda.Syntax.Common
- defaultPragmaOptionsAgda.Interaction.Options
- DefaultProjectConfigAgda.Interaction.LibraryAgda.Interaction.Library.Base
- defaultQuantityAgda.Syntax.Common
- defaultRelevanceAgda.Syntax.Common
- defaultShapeIrrelevantArgAgda.Syntax.Parser.Helpers
- defaultTaggedObjectAgda.Interaction.JSON
- defaultTerEnvAgda.Termination.Monad
- DefaultToInftyAgda.TypeChecking.SizedTypes.Solve
- DefaultToInftyAgda.TypeChecking.SizedTypes.Solve
- defaultUnquoteFlagsAgda.TypeChecking.Monad.Base
- defaultWarningModeAgda.Interaction.Options.Warnings
- defaultWarningSetAgda.Interaction.Options.Warnings
- defBlockedAgda.TypeChecking.Monad.Base
- defClausesAgda.TypeChecking.Monad.Base
- defCompiledAgda.TypeChecking.Monad.Base
- defCompiledRepAgda.TypeChecking.Monad.Base
- defCompilerPragmasAgda.TypeChecking.Monad.Base
- defConstructorsAgda.TypeChecking.Monad.Base
- defCopatternLHSAgda.TypeChecking.Monad.Base
- defCopyAgda.TypeChecking.Monad.Base
- defDisplayAgda.TypeChecking.Monad.Base
- defFixityAgda.Syntax.Info
- defForcedAgda.TypeChecking.Monad.Base
- defGeneralizedParamsAgda.TypeChecking.Monad.Base
- defineCompDataAgda.TypeChecking.Rules.Data
- defineCompKitRAgda.TypeChecking.Rules.Record
- defineConClauseAgda.TypeChecking.Rules.Data
- DefinedAgda.Syntax.Scope.Base
- DefineDataNotDataAgda.TypeChecking.Monad.Base
- DefineDataNotData_Agda.Interaction.Options.Errors
- DefinedNameAgda.Syntax.Scope.Base
- defineHCompForFieldsAgda.TypeChecking.Rules.Data
- defineKanOperationForFieldsAgda.TypeChecking.Rules.Data
- defineKanOperationRAgda.TypeChecking.Rules.Record
- defineProjectionsAgda.TypeChecking.Rules.Data
- defineTranspForFieldsAgda.TypeChecking.Rules.Data
- defineTranspFunAgda.TypeChecking.Rules.Data
- defineTranspIxAgda.TypeChecking.Rules.Data
- DefInfoAgda.Syntax.Abstract
- DefInfoAgda.Syntax.Info
- defInfoAgda.Syntax.Info
- DefInfo'Agda.Syntax.Info
- definitelyNonRecursive_Agda.TypeChecking.Monad.Signature
- DefinitionAgda.Syntax.ReflectedAgda.TypeChecking.Monad.Base
- DefinitionAgda.Benchmarking
- definitionAgda.Compiler.JS.Compiler
- definition'Agda.Compiler.JS.Compiler
- definitionCheckAgda.TypeChecking.MetaVars.Occurs
- DefinitionInDifferentModuleAgda.TypeChecking.Monad.Base
- DefinitionInDifferentModule_Agda.Interaction.Options.Errors
- DefinitionIsErasedAgda.TypeChecking.Monad.Base
- DefinitionIsErased_Agda.Interaction.Options.Errors
- DefinitionIsIrrelevantAgda.TypeChecking.Monad.Base
- DefinitionIsIrrelevant_Agda.Interaction.Options.Errors
- DefinitionsAgda.TypeChecking.Monad.Base
- DefinitionsAgda.Utils.ProfileOptions
- DefinitionSiteAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- DefinitionSiteAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- definitionSiteAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- defInjectiveAgda.TypeChecking.Monad.Base
- defInstanceAgda.Syntax.InfoAgda.TypeChecking.Monad.Base
- DefInsteadOfConAgda.TypeChecking.Monad.Base
- DefInsteadOfCon_Agda.Interaction.Options.Errors
- defInverseAgda.TypeChecking.Monad.Base
- defIsDataOrRecordAgda.TypeChecking.Monad.Base
- defIsRecordAgda.TypeChecking.Monad.Base
- defJSDefAgda.Compiler.JS.Compiler
- defLanguageAgda.TypeChecking.Monad.Base
- defMacroAgda.Syntax.Info
- defMatchableAgda.TypeChecking.Monad.Base
- defMutualAgda.TypeChecking.Monad.Base
- DefnAgda.TypeChecking.Monad.Base
- DefnAgda.TypeChecking.Monad.Base
- defnAgda.Compiler.JS.Syntax
- defNameAgda.TypeChecking.Monad.Base
- defNameKindsAgda.Syntax.Scope.Base
- defNeedsCheckingAgda.TypeChecking.MetaVars.Occurs
- defNoCompilationAgda.TypeChecking.Monad.Base
- DefNodeAgda.TypeChecking.Positivity
- defNonterminatingAgda.TypeChecking.Monad.Base
- defOpaqueAgda.TypeChecking.Monad.Base
- defOpaqueAgda.Syntax.Info
- defOrVarAgda.TypeChecking.Rules.Term
- DefPAgda.Syntax.AbstractAgda.Syntax.Internal
- defParametersAgda.TypeChecking.Monad.Base
- defPolarityAgda.TypeChecking.Monad.Base
- DefSAgda.Syntax.Internal
- defSiteAnchorAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- defSiteHereAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- defSiteModuleAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- defSitePosAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- defTacticAgda.Syntax.Info
- defTerminationUnconfirmedAgda.TypeChecking.Monad.Base
- defTypeAgda.TypeChecking.Monad.Base
- DelayedMergeAgda.Interaction.Highlighting.Precise
- DelayedMergeAgda.Interaction.Highlighting.Precise
- delayedMergeInvariantAgda.Interaction.Highlighting.Precise
- deleteAgda.Utils.AssocListAgda.Utils.BoolSetAgda.Utils.Map1Agda.Utils.Set1Agda.Utils.SmallSetAgda.Utils.TrieAgda.Utils.VarSet
- deleteAtAgda.Utils.Map1Agda.Utils.Set1
- deleteAtAgda.TypeChecking.Rules.LHS.Unify.Types
- deleteFindMaxAgda.Utils.Map1Agda.Utils.Set1
- deleteFindMinAgda.Utils.Map1Agda.Utils.Set1
- deleteFromDTAgda.TypeChecking.DiscrimTree
- deleteLeftAgda.TypeChecking.Rules.LHS.Unify.Types
- deleteMaxAgda.Utils.Map1Agda.Utils.Set1
- deleteMaybeAgda.Utils.Map1Agda.Utils.Set1
- deleteMinAgda.Utils.Map1Agda.Utils.Set1
- deleteRightAgda.TypeChecking.Rules.LHS.Unify.Types
- deleteTypeAgda.TypeChecking.Rules.LHS.Unify.Types
- DeletionAgda.TypeChecking.Rules.LHS.Unify.Types
- delimiterAgda.Utils.String
- deLocationAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Errors
- dependencySortMetasAgda.TypeChecking.MetaVars
- DeprecationWarningAgda.TypeChecking.Monad.Base
- DeprecationWarning_Agda.Interaction.Options.Warnings
- DerivingAgda.Utils.Haskell.Syntax
- DeserializationAgda.Benchmarking
- destAgda.TypeChecking.SizedTypes.WarshallSolver
- desugarDoNotationAgda.Syntax.DoNotation
- detectIdentityFunctionsAgda.Compiler.Treeless.Identity
- dfPatsAgda.TypeChecking.Monad.Base
- dfPatternVarsAgda.TypeChecking.Monad.Base
- dfRHSAgda.TypeChecking.Monad.Base
- dgetAgda.Utils.Functor
- DiagnosticsColoursAgda.Interaction.OptionsAgda.Interaction.Options
- DiagonalAgda.Termination.SparseMatrix
- diagonalAgda.Utils.Graph.AdjacencyMap.Unidirectional
- diagonalAgda.Termination.SparseMatrix
- DictAgda.TypeChecking.Serialise.Base
- DictAgda.TypeChecking.Serialise.Base
- differenceAgda.Utils.BoolSetAgda.Utils.IntSet.InfiniteAgda.Utils.Map1Agda.Utils.Set1Agda.Utils.SmallSetAgda.Utils.VarSet
- differenceWithAgda.Utils.Map1
- differenceWithKeyAgda.Utils.Map1
- DifferentOpaqueAgda.Syntax.Common
- DioidAgda.TypeChecking.SizedTypes.Utils
- DirectAgda.TypeChecking.Monad.Base.Types
- DirEqAgda.TypeChecking.Monad.Base
- DirGeqAgda.TypeChecking.Monad.Base
- DirLeqAgda.TypeChecking.Monad.Base
- dirToCmpAgda.TypeChecking.Monad.Base
- DirtyAgda.TypeChecking.Unquote
- DirtyAgda.TypeChecking.Unquote
- dirtyAgda.Utils.Update
- disableDisplayFormsAgda.TypeChecking.Monad.Options
- DisallowedGeneralizeNameAgda.Syntax.Scope.Base
- DisallowedInterleavedMutualAgda.Syntax.Concrete.Definitions.Errors
- DisallowedInterleavedMutual_Agda.Interaction.Options.Errors
- disallowGeneralizedVarsAgda.Syntax.Scope.Base
- DisambiguateConstructorAgda.TypeChecking.Monad.Base
- disambiguateConstructor'Agda.TypeChecking.Rules.Application
- DisambiguatedNameAgda.TypeChecking.Monad.Base
- DisambiguatedNameAgda.TypeChecking.Monad.Base
- DisambiguatedNamesAgda.TypeChecking.Monad.Base
- disambiguateRecordFieldsAgda.Interaction.Highlighting.Generate
- discreteAgda.Utils.Graph.AdjacencyMap.Unidirectional
- DiscrimTreeAgda.TypeChecking.DiscrimTree.Types
- disjointAgda.Utils.Set1Agda.Utils.VarSet
- disjointUnionAgda.Utils.Set1
- DisplayAgda.TypeChecking.Monad.Base
- display_infoAgda.Interaction.InteractionTop
- display_info'Agda.Interaction.EmacsCommand
- displayDebugMessageAgda.TypeChecking.Monad.Debug
- DisplayFormAgda.TypeChecking.Monad.Base
- displayFormAgda.TypeChecking.DisplayForm
- DisplayFormsAgda.TypeChecking.Monad.Base
- displayFormsEnabledAgda.TypeChecking.Monad.Options
- DisplayInfoAgda.Interaction.Response
- DisplayInfo_bootAgda.Interaction.Response.Base
- DisplayLHSAgda.Syntax.Common
- DisplayPragmaAgda.Syntax.AbstractAgda.Syntax.Concrete
- displayRunningInfoAgda.Interaction.EmacsCommand
- displayStatusAgda.Interaction.InteractionTop
- DisplayTermAgda.TypeChecking.Monad.Base
- distinctAgda.Utils.List
- distributeFAgda.Utils.Functor
- dmapAgda.Utils.Functor
- dnameAgda.Compiler.MAlonzo.Misc
- DoBindAgda.Syntax.Concrete
- DoBlockAgda.Syntax.Concrete
- DocAgda.Compiler.JS.Pretty
- DocAgda.Syntax.Common.PrettyAgda.TypeChecking.Pretty
- DocAgda.Compiler.JS.Pretty
- docAgda.Syntax.Concrete.Operators.Parser.MonadAgda.Utils.Parser.MemoisedCPS
- doCompileAgda.Compiler.Common
- doCompile'Agda.Compiler.Common
- DocPAgda.Utils.Parser.MemoisedCPS
- docsUrlAgda.Version
- doDefAgda.Syntax.Internal.Defs
- DoDropAgda.Utils.Permutation
- doDropAgda.Utils.Permutation
- doesFileExistCaseSensitiveAgda.Utils.FileName
- DoesNotCorrespondToValidModuleNameAgda.TypeChecking.Monad.Base
- DoesNotMentionTicksAgda.TypeChecking.Monad.Base
- DoesNotMentionTicks_Agda.Interaction.Options.Errors
- DoesNotTargetRewriteRelationAgda.TypeChecking.Monad.Base
- doExpandLastAgda.TypeChecking.Monad.Env
- DoGeneralizeAgda.TypeChecking.Monad.Base
- doGlueKanOpAgda.TypeChecking.Primitive.Cubical.Glue
- DoHCompAgda.TypeChecking.Primitive.Cubical.Base
- doHCompUKanOpAgda.TypeChecking.Primitive.Cubical.HCompU
- DoHighlightModuleContentsAgda.TypeChecking.Rules.Decl
- DoLetAgda.Syntax.Concrete
- DomAgda.Syntax.Internal
- DomAgda.Syntax.Internal
- Dom'Agda.Syntax.Internal
- DomainFreeAgda.Syntax.AbstractAgda.Syntax.Concrete
- domainFreeAgda.TypeChecking.Rules.Term
- DomainFullAgda.Syntax.AbstractAgda.Syntax.Concrete
- DomainsAgda.Utils.TypeLevel
- Domains'Agda.Utils.TypeLevel
- domainUnivAgda.Syntax.Internal.Univ
- doMetaAgda.Syntax.Internal.Defs
- domFromArgAgda.Syntax.Internal
- domFromNamedArgAgda.Syntax.Internal
- domFromNamedArgNameAgda.TypeChecking.Substitute
- domHAgda.TypeChecking.Primitive.Base
- dominatedAgda.Utils.Favorites
- DominatesAgda.Utils.Favorites
- dominatorAgda.Utils.Favorites
- domInfoAgda.Syntax.Internal
- domIsFiniteAgda.Syntax.Internal
- domNAgda.TypeChecking.Primitive.Base
- domNameAgda.Syntax.Internal
- domOfBVAgda.TypeChecking.Monad.Context
- domTacticAgda.Syntax.Internal
- DoneAgda.Interaction.BaseAgda.TypeChecking.CompiledClause
- DoneDTAgda.TypeChecking.DiscrimTree.Types
- DoNotationErrorAgda.TypeChecking.Monad.Base
- DoNotationError_Agda.Interaction.Options.Errors
- DoNotParseSectionsAgda.Syntax.Concrete.Operators.Parser
- dontAssignMetasAgda.TypeChecking.Monad.MetaVars
- DontCareAgda.Syntax.AbstractAgda.Syntax.ConcreteAgda.Syntax.Internal
- dontCareAgda.Syntax.Internal
- DontCutOffAgda.Termination.CutOff
- DontDefaultToInftyAgda.TypeChecking.SizedTypes.Solve
- DontExpandLastAgda.TypeChecking.Monad.Base
- dontExpandLastAgda.TypeChecking.Monad.Env
- dontFoldLetBindingsAgda.TypeChecking.Monad.Env
- DontHightlightModuleContentsAgda.TypeChecking.Rules.Decl
- DontKnowAgda.TypeChecking.Patterns.Match
- DontOpenAgda.Syntax.Concrete
- DontReduceDefsAgda.TypeChecking.Monad.Base
- DontRunMetaOccursCheckAgda.TypeChecking.Monad.Base
- DontRunRecordPatternTranslationAgda.TypeChecking.CompiledClause.Compile
- DontWakeUpAgda.Syntax.Internal.Blockers
- DoOpenAgda.Syntax.Concrete
- doPathPKanOpAgda.TypeChecking.Primitive.Cubical
- doPiKanOpAgda.TypeChecking.Primitive.Cubical
- DoQuoteTermAgda.TypeChecking.Monad.Base
- doQuoteTermAgda.TypeChecking.Rules.Term
- DoStmtAgda.Syntax.Concrete
- DotAgda.Syntax.AbstractAgda.Syntax.ConcreteAgda.TypeChecking.Rules.LHS.Problem
- dotAgda.Syntax.Common.Pretty
- dotBackendAgda.Interaction.Highlighting.DotAgda.Interaction.Highlighting.Dot.Backend
- DotFlexAgda.TypeChecking.Rules.LHS.Problem
- DotGraphAgda.Interaction.Highlighting.Dot.Base
- DoThenAgda.Syntax.Concrete
- DOtherSizeAgda.TypeChecking.Monad.SizedTypes
- DotNetTimeAgda.Interaction.JSON
- DotNetTimeAgda.Interaction.JSON
- DotPAgda.Syntax.AbstractAgda.Syntax.ConcreteAgda.Syntax.InternalAgda.Syntax.Reflected
- dotPAgda.Syntax.Internal
- DotPatternAgda.TypeChecking.Rules.LHS.Problem
- DotPatternCtxAgda.Syntax.Fixity
- DotPatternInPatternSynonymAgda.TypeChecking.Monad.Base
- DotPatternInPatternSynonym_Agda.Interaction.Options.Errors
- dotPatternsAgda.TypeChecking.Rules.LHS.Problem
- dotPatternsToPatternsAgda.TypeChecking.Patterns.Internal
- DoTranspAgda.TypeChecking.Primitive.Cubical.Base
- DottedPatternAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- DoubleAgda.Compiler.JS.Syntax
- doubleAgda.Syntax.Common.Pretty
- doubleACosAgda.Utils.Float
- doubleACoshAgda.Utils.Float
- doubleASinAgda.Utils.Float
- doubleASinhAgda.Utils.Float
- doubleATanAgda.Utils.Float
- doubleATan2Agda.Utils.Float
- doubleATanhAgda.Utils.Float
- doubleCAgda.TypeChecking.Serialise.Base
- doubleCeilingAgda.Utils.Float
- doubleCosAgda.Utils.Float
- doubleCoshAgda.Utils.Float
- doubleDAgda.TypeChecking.Serialise.Base
- doubleDecodeAgda.Utils.Float
- doubleDenotEqAgda.Utils.Float
- doubleDenotOrdAgda.Utils.Float
- doubleDivAgda.Utils.Float
- DoubleDotAgda.Syntax.Concrete
- doubleEAgda.TypeChecking.Serialise.Base
- doubleEncodeAgda.Utils.Float
- doubleEqAgda.Utils.Float
- doubleExpAgda.Utils.Float
- doubleFloorAgda.Utils.Float
- doubleLeAgda.Utils.Float
- doubleLogAgda.Utils.Float
- doubleLtAgda.Utils.Float
- doubleMinusAgda.Utils.Float
- doubleNegateAgda.Utils.Float
- doublePlusAgda.Utils.Float
- doublePowAgda.Utils.Float
- doubleQuotesAgda.Syntax.Common.PrettyAgda.TypeChecking.Pretty
- doubleRoundAgda.Utils.Float
- doubleSinAgda.Utils.Float
- doubleSinhAgda.Utils.Float
- doubleSqrtAgda.Utils.Float
- doubleTanAgda.Utils.Float
- doubleTanhAgda.Utils.Float
- doubleTimesAgda.Utils.Float
- doubleToRatioAgda.Utils.Float
- doubleToWord64Agda.Utils.Float
- DoWarnAgda.Syntax.Concrete.Fixity
- DoWarnAgda.Syntax.Concrete.Fixity
- downFromAgda.Utils.List
- DropAgda.Utils.Permutation
- DropAgda.Utils.Permutation
- dropAgda.Utils.List1Agda.Utils.Map1Agda.Utils.Set1
- dropAgdaExtensionAgda.Interaction.FindFile
- DropArgsAgda.TypeChecking.DropArgs
- dropArgsAgda.TypeChecking.DropArgs
- dropAtAgda.TypeChecking.Rules.LHS.Unify.Types
- dropCommonAgda.Utils.List
- dropConstraintsAgda.TypeChecking.Monad.Constraints
- dropDecodedModuleAgda.TypeChecking.Monad.Imports
- dropEndAgda.Utils.List
- dropFromAgda.Utils.List
- dropFromAgda.Utils.Permutation
- dropMoreAgda.Utils.Permutation
- dropNAgda.Utils.Permutation
- dropParametersAgda.TypeChecking.ReconstructParameters
- droppedPAgda.Utils.Permutation
- droppedParsAgda.TypeChecking.Monad.Signature
- dropSAgda.TypeChecking.Substitute.Class
- dropTopLevelModuleAgda.TypeChecking.Errors
- dropTypeAndModalityAgda.Syntax.Concrete
- dropWhileAgda.Utils.List1
- dropWhileAntitoneAgda.Utils.Map1Agda.Utils.Set1
- dropWhileEndMAgda.Utils.Monad
- dropWhileMAgda.Utils.Monad
- DSizeInfAgda.TypeChecking.Monad.SizedTypes
- DSizeMetaAgda.TypeChecking.Monad.SizedTypes
- DSizeVarAgda.TypeChecking.Monad.SizedTypes
- DTermAgda.TypeChecking.Monad.Base
- DTerm'Agda.TypeChecking.Monad.Base
- DummyAgda.Syntax.Internal
- dummyDomAgda.Syntax.Internal
- dummyLevelAgda.Syntax.Internal
- dummyLocNameAgda.Syntax.Internal
- DummySAgda.Syntax.Internal
- dummySortAgda.Syntax.Internal
- dummyTermAgda.Syntax.Internal
- DummyTermKindAgda.Syntax.Internal
- dummyTermWithAgda.Syntax.Internal
- dummyTypeAgda.Syntax.Internal
- dunameAgda.Compiler.MAlonzo.Misc
- DuplicateAnonDeclarationAgda.Syntax.Concrete.Definitions.Errors
- DuplicateAnonDeclaration_Agda.Interaction.Options.Errors
- DuplicateBuiltinBindingAgda.TypeChecking.Monad.Base
- DuplicateBuiltinBinding_Agda.Interaction.Options.Errors
- DuplicateConstructorsAgda.TypeChecking.Monad.Base
- DuplicateConstructors_Agda.Interaction.Options.Errors
- DuplicateDefinitionAgda.Syntax.Concrete.Definitions.Errors
- DuplicateDefinition_Agda.Interaction.Options.Errors
- DuplicateExecutableAgda.Interaction.Library.Base
- DuplicateFieldsAgda.Interaction.Library.BaseAgda.TypeChecking.Monad.BaseAgda.TypeChecking.Monad.Base.Warning
- DuplicateFields_Agda.Interaction.Options.ErrorsAgda.Interaction.Options.Warnings
- DuplicateImportsAgda.TypeChecking.Monad.Base
- DuplicateImports_Agda.Interaction.Options.Errors
- DuplicateOverlapPragmaAgda.TypeChecking.Monad.Base
- DuplicateOverlapPragma_Agda.Interaction.Options.Errors
- DuplicatePrimitiveBindingAgda.TypeChecking.Monad.Base
- DuplicatePrimitiveBinding_Agda.Interaction.Options.Errors
- DuplicateRecordDirectiveAgda.TypeChecking.Monad.Base
- DuplicateRecordDirective_Agda.Interaction.Options.Warnings
- DuplicateRewriteRuleAgda.TypeChecking.Monad.Base
- DuplicateRewriteRule_Agda.Interaction.Options.Warnings
- duplicatesAgda.Utils.List
- DuplicateUsingAgda.TypeChecking.Monad.Base
- DuplicateUsing_Agda.Interaction.Options.Warnings
- DWithAppAgda.TypeChecking.Monad.Base
- dwLocationAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Errors
- dwWarningAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Errors