Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.TypeChecking.Lock
Synopsis
- isTimeless :: Type -> TCM Bool
- checkLockedVars :: Term -> Type -> Arg Term -> Type -> TCM ()
- checkEarlierThan :: Term -> VarSet -> TCM Bool
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.TypeChecking.Lock