Note that the UserString/MutableString classes are far less efficient
than the built-in string types (suggested by Moshe Zadka <moshez@math.huji.ac.il>). Clarified what "can be converted to a string" means. Fixed a few markup nits.
Showing
Please register or sign in to comment