Agda.Auto.Typecheck
closify
sub
msubs
weak
tcExp
tcargs
hnn
hnn'
hn'
data
HNRes
o
hnc
doclos
hnarglist
getNArgs
getAllArgs
iotastep
data
PEval
o
dorules
dorule
dopats
dopat
noiotastep
noiotastep'
comp'
comp
comphn'
compargs
pickid
tcSearch
ptcTypeUnknown
ptcTypeCheck
ptcTypecheckArgList
ptcNoIotaStep
ptcCompare
ptcCompareArgList
phnexp
phnargs
pcexp
pcargs
printCtx