Agda-2.2.6: A dependently typed functional programming language and proof assistantContentsIndex
ABCDEFGHIJKLMNOPQRSTUVWXYZ!$+./<=>|-
Index (D)
Data
dataAbstr
dataArgOccurrences
dataClause
dataCons
DataDef
1 (Data Constructor)
2 (Data Constructor)
dataHsType
dataInduction
dataIxs
DataMustEndInSort
dataName
dataOrRecordType
dataPars
dataPolarity
dataSort
Datatype
1 (Data Constructor)
2 (Data Constructor)
3 (Data Constructor)
deBruijnIndex
DeBruijnPat
debug
decDigit
Declaration
1 (Type/Class)
2 (Type/Class)
DeclarationException
DeclarationPanic
DeclCont
DeclInfo
1 (Type/Class)
2 (Data Constructor)
declName
declRange
declsForPrim
decode
DecodedModules
decodeFile
decompress
decrConf
Def
1 (Data Constructor)
2 (Data Constructor)
3 (Data Constructor)
defAbstract
1 (Function)
2 (Function)
defAccess
DefArg
defaultDisplayForm
defaultFixity
defaultFrequencies
defaultImportDir
defaultOptions
defaultParseFlags
defClauses
defDelayed
defDisplay
defFixity
defFreq
DefinedName
DefInfo
1 (Type/Class)
2 (Data Constructor)
defInfo
Definition
1 (Type/Class)
2 (Data Constructor)
3 (Type/Class)
definition
Definitions
definitions
definitionSite
defMutual
Defn
1 (Type/Class)
2 (Data Constructor)
DefName
1 (Data Constructor)
2 (Type/Class)
3 (Data Constructor)
defName
DefNode
DefP
Defs
defs
defType
Delayed
1 (Type/Class)
2 (Data Constructor)
DependentPatternMatchingOnCodata
deref
dfName
dfNameSub
dfQName
dfQStr
dfStr
diagonal
DifferentArities
disableDisplayForms
Display
displayErrorAndExit
DisplayForm
displayForm
displayFormsEnabled
displayStatus
DisplayTerm
display_info
display_info'
display_infoD
Dist
Distance
distinct
divConf
DLub
dLub
Doc
1 (Type/Class)
2 (Type/Class)
doclos
DoesNotConstructAnElementOf
DomainFree
1 (Data Constructor)
2 (Data Constructor)
DomainFull
1 (Data Constructor)
2 (Data Constructor)
DontExpandLast
DontKnow
1 (Data Constructor)
2 (Data Constructor)
DontOpen
dontReifyInteractionPoints
DontTouchMe
DoOpen
dopat
dopats
dorule
dorules
Dot
DotP
1 (Data Constructor)
2 (Data Constructor)
3 (Data Constructor)
DotPatternCtx
DotPatternInst
dotPatternInsts
DottedPattern
DotVars
dotVars
double
doubleblock
doubleQuotes
DPI
dropArgs
dropDecodedModule
dropI
dryInstantiate
dsubname
DTerm
dummy
dummyLoc
DuplicateBuiltinBinding
DuplicateConstructors
DuplicateFields
DWithApp