Agda.TypeChecking.Rules.Def

Definitions by pattern matching

checkFunDef

checkMacroType

isAlias

checkAlias

checkFunDef'

checkFunDefS

useTerPragma

insertPatterns

data WithFunctionProblem

checkClause

checkRHS

checkWithRHS

checkWithFunction

checkWhere

newSection

containsAbsurdPattern

atClause