Agda.TypeChecking.Empty
- isReallyEmptyType :: Type -> TCM ()
- isEmptyType :: Type -> TCM ()
Documentation
isReallyEmptyType :: Type -> TCM ()Source
Make sure that a type is empty.
isEmptyType :: Type -> TCM ()Source
Agda-2.3.0.1: A dependently typed functional programming language and proof assistant
Agda.TypeChecking.Empty
isReallyEmptyType :: Type -> TCM ()Source
Make sure that a type is empty.
isEmptyType :: Type -> TCM ()Source