TypeChecker.TypeChecker
inferProgram :: Program -> Either TypeError Polytype Source #
checkProgram :: Program -> Either TypeError () Source #