Agda.TypeChecking.Rules.Term
isType
isType_
isTypeEqualTo
leqType_
checkTelescope_
checkTypedBindings_
data LamOrPi
checkTypedBindings
checkTypedBinding
checkLambda
checkAbsurdLambda
checkExtendedLambda
checkRecordExpression
checkRecordUpdate
checkLiteral
checkArguments'
checkExpr
checkApplication
domainFree
checkMeta
inferMeta
checkOrInferMeta
inferHeadDef
inferHead
inferDef
checkConstructorApplication
checkHeadApplication
traceCallE
checkArguments
checkArguments_
inferExpr
defOrVar
checkDontExpandLast
isModuleFreeVar
inferExprForWith
checkLetBindings
checkLetBinding
class ConvColor a i