Rename `take-drop-id` and `take++drop`#2069

jamesmckinna merged 1 commit intoagda:masteragda/agda-stdlib:masterfrom

Saransh-cpp:take++dropSaransh-cpp/agda-stdlib:take++dropCopy head branch name to clipboard