Agda.TypeChecker
Documentation
checkDecls :: [Declaration] -> TCM ()
Type check a sequence of declarations.
checkDecl :: Declaration -> TCM ()
Type check a single declaration.
Agda-2.2.10: A dependently typed functional programming language and proof assistant
Agda.TypeChecker
checkDecls :: [Declaration] -> TCM ()
Type check a sequence of declarations.
checkDecl :: Declaration -> TCM ()
Type check a single declaration.