source can be found under /elm-codebase/pp-geometry/DemoRotateVector.elm

Enter an angle and watch the vector being rotated