Agda.TypeChecking.Rules.Data

Datatypes

checkDataDef

checkConstructor

bindParameters

fitsIn

constructs

forceData

isCoinductive