IndexAgda-2.7.0.1
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.Compiler.BackendAgda.TypeChecking.Monad.Base
- DataBlockAgda.Syntax.Concrete.Definitions.Types
- dataClauseAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DataConAgda.TypeChecking.Datatypes
- dataConsAgda.Compiler.BackendAgda.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
- dataIxsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DataMustEndInSortAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- dataMutualAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DataNameAgda.Syntax.Concrete.Definitions.TypesAgda.Syntax.Scope.Base
- DataOrNewAgda.Utils.Haskell.Syntax
- DataOrRecordAgda.Syntax.InternalAgda.TypeChecking.Rules.LHS
- DataOrRecord'Agda.Syntax.Internal
- DataOrRecordEAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DataOrRecordModuleAgda.Syntax.Scope.Base
- DataOrRecSigAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DataOrRecSigDataAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DataOrRecSigDataAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DataOrRecSigDefnAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- dataParsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- dataPathConsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DataRecOrFunAgda.Syntax.Concrete.Definitions.Types
- datarecParsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DataSigAgda.Syntax.AbstractAgda.Syntax.Concrete
- DataSigSAgda.Syntax.Abstract
- DataSortAgda.Interaction.Base
- dataSortAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- dataTranspAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- dataTranspIxAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DataTypeAgda.Utils.Haskell.Syntax
- DatatypeAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DatatypeAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- DatatypeDataAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DatatypeDataAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DatatypeDefnAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- 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.Compiler.BackendAgda.TypeChecking.Monad.Base
- DDefAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DDotAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DDot'Agda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DeadCodeAgda.Benchmarking
- DeadcodeAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- DeadCodeReachableAgda.Benchmarking
- deadStandardOptionsAgda.Interaction.Options
- DeBruijnAgda.TypeChecking.Substitute.DeBruijn
- DeBruijnIndexOutOfScopeAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- 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.Compiler.BackendAgda.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
- DeclarationPanicAgda.Syntax.Concrete.Definitions.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.Compiler.BackendAgda.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.Compiler.BackendAgda.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.Compiler.BackendAgda.TypeChecking.Monad.Base
- defAbstractAgda.Syntax.Info
- defAccessAgda.Syntax.Info
- defAppAgda.TypeChecking.Substitute
- DefArgAgda.TypeChecking.Positivity.Occurrence
- defArgGeneralizableAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defArgInfoAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defArgOccurrencesAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defArgsAgda.TypeChecking.MetaVars.Occurs
- DefaultAgda.Utils.WithDefault
- defaultActionAgda.TypeChecking.CheckInternal
- defaultAddCtxAgda.Compiler.BackendAgda.TypeChecking.Monad.Context
- defaultAddLetBinding'Agda.Compiler.BackendAgda.TypeChecking.Monad.Context
- defaultAnnotationAgda.Syntax.Common
- defaultAppInfoAgda.Syntax.Info
- defaultAppInfo_Agda.Syntax.Info
- defaultArgAgda.Syntax.Common
- defaultArgDomAgda.Syntax.Internal
- defaultArgInfoAgda.Syntax.Common
- defaultAxiomAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defaultBuildDoStmtAgda.Syntax.Parser.Helpers
- defaultCohesionAgda.Syntax.Common
- DefaultComputeAgda.Interaction.Base
- defaultCutOffAgda.Interaction.OptionsAgda.Termination.CutOff
- defaultDefnAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defaultDisplayFormAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defaultDomAgda.Syntax.Internal
- defaultErasedAgda.Syntax.Common
- defaultFixityAgda.Syntax.Common
- defaultGetConstInfoAgda.Compiler.BackendAgda.TypeChecking.Monad.Signature
- defaultGetProfileOptionsAgda.Compiler.BackendAgda.TypeChecking.Monad.Debug
- defaultGetRewriteRulesForAgda.Compiler.BackendAgda.TypeChecking.Monad.Signature
- defaultGetVerbosityAgda.Compiler.BackendAgda.TypeChecking.Monad.Debug
- defaultImportDirAgda.Syntax.Common
- defaultInteractionOptionsAgda.Interaction.Options
- defaultInteractionOutputCallbackAgda.Compiler.BackendAgda.Interaction.ResponseAgda.TypeChecking.Monad.Base
- defaultInteractorAgda.Main
- defaultIsDebugPrintingAgda.Compiler.BackendAgda.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.Compiler.BackendAgda.TypeChecking.Monad.Debug
- defaultOpenLevelsToZeroAgda.TypeChecking.Level.Solve
- defaultOptionsAgda.Interaction.JSONAgda.Interaction.Options
- DefaultOverlapAgda.Syntax.Common
- defaultParseFlagsAgda.Syntax.Parser.Monad
- defaultPatternInfoAgda.Syntax.Internal
- defaultPragmaOptionsAgda.Interaction.Options
- DefaultProjectConfigAgda.Interaction.LibraryAgda.Interaction.Library.Base
- defaultQuantityAgda.Syntax.Common
- defaultRelevanceAgda.Syntax.Common
- defaultTaggedObjectAgda.Interaction.JSON
- defaultTerEnvAgda.Termination.Monad
- DefaultToInftyAgda.TypeChecking.SizedTypes.Solve
- DefaultToInftyAgda.TypeChecking.SizedTypes.Solve
- defaultUnquoteFlagsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defaultWarningModeAgda.Interaction.Options.Warnings
- defaultWarningSetAgda.Interaction.Options.Warnings
- defBlockedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defClausesAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defCompiledAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defCompiledRepAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defCompilerPragmasAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defConstructorsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defCopatternLHSAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defCopyAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defDisplayAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defFixityAgda.Syntax.Info
- defForcedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defGeneralizedParamsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defineCompDataAgda.TypeChecking.Rules.Data
- defineCompKitRAgda.TypeChecking.Rules.Record
- defineConClauseAgda.TypeChecking.Rules.Data
- DefinedAgda.Syntax.Scope.Base
- 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.Compiler.BackendAgda.TypeChecking.Monad.Signature
- DefinitionAgda.Compiler.BackendAgda.Syntax.ReflectedAgda.TypeChecking.Monad.Base
- DefinitionAgda.Benchmarking
- definitionAgda.Compiler.JS.Compiler
- definition'Agda.Compiler.JS.Compiler
- definitionCheckAgda.TypeChecking.MetaVars.Occurs
- DefinitionInDifferentModuleAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DefinitionIsErasedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DefinitionIsIrrelevantAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DefinitionsAgda.Compiler.BackendAgda.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.Compiler.BackendAgda.TypeChecking.Monad.Base
- defInstanceAgda.Compiler.BackendAgda.Syntax.InfoAgda.TypeChecking.Monad.Base
- DefInsteadOfConAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defInverseAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defIsDataOrRecordAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defIsRecordAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defJSDefAgda.Compiler.JS.Compiler
- defLanguageAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defMacroAgda.Syntax.Info
- defMatchableAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defMutualAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DefnAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DefnAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defnAgda.Compiler.JS.Syntax
- defNameAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defNeedsCheckingAgda.TypeChecking.MetaVars.Occurs
- defNoCompilationAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DefNodeAgda.TypeChecking.Positivity
- defNonterminatingAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defOpaqueAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defOpaqueAgda.Syntax.Info
- defOrVarAgda.TypeChecking.Rules.Term
- DefPAgda.Syntax.AbstractAgda.Syntax.Internal
- defParametersAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- defPolarityAgda.Compiler.BackendAgda.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.Compiler.BackendAgda.TypeChecking.Monad.Base
- defTypeAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DelayedMergeAgda.Interaction.Highlighting.Precise
- DelayedMergeAgda.Interaction.Highlighting.Precise
- delayedMergeInvariantAgda.Interaction.Highlighting.Precise
- deleteAgda.Utils.AssocListAgda.Utils.BoolSetAgda.Utils.SmallSetAgda.Utils.TrieAgda.Utils.VarSet
- deleteAtAgda.TypeChecking.Rules.LHS.Unify.Types
- deleteFromDTAgda.TypeChecking.DiscrimTree
- deleteLeftAgda.TypeChecking.Rules.LHS.Unify.Types
- 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.Compiler.BackendAgda.TypeChecking.Monad.Base
- DeprecationWarning_Agda.Interaction.Options.Warnings
- derefPtrAgda.Utils.Pointer
- DerivingAgda.Utils.Haskell.Syntax
- DeserializationAgda.Benchmarking
- destAgda.TypeChecking.SizedTypes.WarshallSolver
- desugarDoNotationAgda.Syntax.DoNotation
- detectIdentityFunctionsAgda.Compiler.Treeless.Identity
- dfPatsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- dfPatternVarsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- dfRHSAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- dgetAgda.Utils.Functor
- DiagnosticsColoursAgda.Interaction.Options
- DiagonalAgda.Termination.SparseMatrix
- diagonalAgda.Utils.Graph.AdjacencyMap.Unidirectional
- diagonalAgda.Termination.SparseMatrix
- DictAgda.TypeChecking.Serialise.Base
- DictAgda.TypeChecking.Serialise.Base
- didYouMeanAgda.TypeChecking.Pretty.Warning
- differenceAgda.Utils.BoolSetAgda.Utils.IntSet.InfiniteAgda.Utils.SmallSetAgda.Utils.VarSet
- DifferentOpaqueAgda.Syntax.Common
- DioidAgda.TypeChecking.SizedTypes.Utils
- DirectAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DirEqAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DirGeqAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DirLeqAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- dirToCmpAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DirtyAgda.TypeChecking.Unquote
- DirtyAgda.TypeChecking.Unquote
- dirtyAgda.Utils.Update
- disableDisplayFormsAgda.Compiler.BackendAgda.TypeChecking.Monad.Options
- DisallowedGeneralizeNameAgda.Syntax.Scope.Base
- DisallowedInterleavedMutualAgda.Syntax.Concrete.Definitions.Errors
- disallowGeneralizedVarsAgda.Syntax.Scope.Base
- DisambiguatedNameAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DisambiguatedNameAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DisambiguatedNamesAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- disambiguateRecordFieldsAgda.Interaction.Highlighting.Generate
- discreteAgda.Utils.Graph.AdjacencyMap.Unidirectional
- DiscrimTreeAgda.TypeChecking.DiscrimTree.Types
- DisplayAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- display_infoAgda.Interaction.InteractionTop
- display_info'Agda.Interaction.EmacsCommand
- displayDebugMessageAgda.Compiler.BackendAgda.TypeChecking.Monad.Debug
- DisplayFormAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- displayFormAgda.TypeChecking.DisplayForm
- DisplayFormsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- displayFormsEnabledAgda.Compiler.BackendAgda.TypeChecking.Monad.Options
- DisplayInfoAgda.Interaction.Response
- DisplayInfo_bootAgda.Interaction.Response.Base
- DisplayPragmaAgda.Syntax.AbstractAgda.Syntax.Concrete
- displayRunningInfoAgda.Interaction.EmacsCommand
- displayStatusAgda.Interaction.InteractionTop
- DisplayTermAgda.Compiler.BackendAgda.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
- DoesNotConstructAnElementOfAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DoesNotCorrespondToValidModuleNameAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DoesNotMentionTicksAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DoesNotTargetRewriteRelationAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- doExpandLastAgda.Compiler.BackendAgda.TypeChecking.Monad.Env
- DoGeneralizeAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- doGlueKanOpAgda.TypeChecking.Primitive.Cubical.Glue
- DoHCompAgda.TypeChecking.Primitive.Cubical.Base
- doHCompUKanOpAgda.TypeChecking.Primitive.Cubical.HCompU
- DoHighlightModuleContentsAgda.TypeChecking.Rules.Decl
- doIdKanOpAgda.TypeChecking.Primitive.Cubical.Id
- 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.Compiler.BackendAgda.TypeChecking.Monad.Context
- domTacticAgda.Syntax.Internal
- DoneAgda.Interaction.BaseAgda.TypeChecking.CompiledClause
- DoneDTAgda.TypeChecking.DiscrimTree.Types
- DoNotParseSectionsAgda.Syntax.Concrete.Operators.Parser
- dontAssignMetasAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- DontCareAgda.Syntax.AbstractAgda.Syntax.ConcreteAgda.Syntax.Internal
- dontCareAgda.Syntax.Internal
- DontCutOffAgda.Termination.CutOff
- DontDefaultToInftyAgda.TypeChecking.SizedTypes.Solve
- DontExpandLastAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- dontExpandLastAgda.Compiler.BackendAgda.TypeChecking.Monad.Env
- dontFoldLetBindingsAgda.Compiler.BackendAgda.TypeChecking.Monad.Env
- DontHightlightModuleContentsAgda.TypeChecking.Rules.Decl
- DontKnowAgda.TypeChecking.Patterns.Match
- DontOpenAgda.Syntax.Concrete
- DontReduceDefsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DontRunMetaOccursCheckAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DontRunRecordPatternTranslationAgda.TypeChecking.CompiledClause.Compile
- DontWakeUpAgda.Syntax.Internal.Blockers
- DoOpenAgda.Syntax.Concrete
- doPathPKanOpAgda.TypeChecking.Primitive.Cubical
- doPiKanOpAgda.TypeChecking.Primitive.Cubical
- DoQuoteTermAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- doQuoteTermAgda.TypeChecking.Rules.Term
- DoStmtAgda.Syntax.Concrete
- DotAgda.Syntax.AbstractAgda.Syntax.ConcreteAgda.TypeChecking.Rules.LHS.Problem
- dotBackendAgda.Interaction.Highlighting.Dot
- DotFlexAgda.TypeChecking.Rules.LHS.Problem
- DoThenAgda.Syntax.Concrete
- DOtherSizeAgda.Compiler.BackendAgda.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.Compiler.BackendAgda.TypeChecking.Monad.Base
- 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.List1
- DropArgsAgda.TypeChecking.DropArgs
- dropArgsAgda.TypeChecking.DropArgs
- dropAtAgda.TypeChecking.Rules.LHS.Unify.Types
- dropCommonAgda.Utils.List
- dropConstraintsAgda.Compiler.BackendAgda.TypeChecking.Monad.Constraints
- dropDecodedModuleAgda.Compiler.BackendAgda.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.Compiler.BackendAgda.TypeChecking.Monad.Signature
- dropSAgda.TypeChecking.Substitute.Class
- dropTopLevelModuleAgda.TypeChecking.Errors
- dropTypeAndModalityAgda.Syntax.Concrete
- dropWhileAgda.Utils.List1
- dropWhileEndMAgda.Utils.Monad
- dropWhileMAgda.Utils.Monad
- DSizeInfAgda.Compiler.BackendAgda.TypeChecking.Monad.SizedTypes
- DSizeMetaAgda.Compiler.BackendAgda.TypeChecking.Monad.SizedTypes
- DSizeVarAgda.Compiler.BackendAgda.TypeChecking.Monad.SizedTypes
- DTermAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DTerm'Agda.Compiler.BackendAgda.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
- DuplicateBuiltinBindingAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DuplicateConstructorsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DuplicateDefinitionAgda.Syntax.Concrete.Definitions.Errors
- DuplicateExecutableAgda.Interaction.Library.Base
- DuplicateFieldsAgda.Compiler.BackendAgda.Interaction.Library.BaseAgda.TypeChecking.Monad.BaseAgda.TypeChecking.Monad.Base.Warning
- DuplicateFields_Agda.Interaction.Options.Warnings
- DuplicateImportsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DuplicateInterfaceFilesAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DuplicateInterfaceFiles_Agda.Interaction.Options.Warnings
- DuplicateOverlapPragmaAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DuplicatePrimitiveBindingAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DuplicateRecordDirectiveAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DuplicateRecordDirective_Agda.Interaction.Options.Warnings
- DuplicateRewriteRuleAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DuplicateRewriteRule_Agda.Interaction.Options.Warnings
- duplicatesAgda.Utils.List
- DuplicateUsingAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- DuplicateUsing_Agda.Interaction.Options.Warnings
- DWithAppAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- dwLocationAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Errors
- dwWarningAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Errors