human
Give me a Python program to 2d vector rotate angle.
assistant
Here is a Python program to 2d vector rotate angle

import math

def rotate_angle(angle, vector):
    """Rotate angle."""
    return [vector[0] * math.cos(angle) - vector[1] * math.sin(angle),
            vector[0] * math.sin(angle) + vector[1] * math.cos(angle)]

# Enter the angle
angle = 0.5

# Enter the vector
vector = [1, 0]

# Calling the function
print((rotate_angle(angle, vector)))

#Example Output
# [0.8775825618903728, 0.479425538604203]

#Remember to inspect code for bugs.