LambdaCube.SystemFw.TypeChecker
reduceType :: LCType -> LCType Source #
infer :: LCTerm -> LCType Source #
inferKind :: [LCKind] -> LCType -> LCKind Source #