Safe Haskell | None |
---|
Agda.TheTypeChecker
Documentation
checkDecls :: [Declaration] -> TCM ()Source
Type check a sequence of declarations.
checkDecl :: Declaration -> TCM ()Source
Type check a single declaration.
Agda-2.4.0.2: A dependently typed functional programming language and proof assistant
Safe Haskell | None |
---|
Agda.TheTypeChecker
checkDecls :: [Declaration] -> TCM ()Source
Type check a sequence of declarations.
checkDecl :: Declaration -> TCM ()Source
Type check a single declaration.