Using getch, define an action readline :: to string that behaves in the same way as getLine, except that it also permits the delete key to be used to remove characters. Hint: the delete character is ' $\triangle \mathrm{DEL}^{\prime}$, and the control character for moving the cursor back one space is $' \backslash b^{\prime}$.