On Saturday, 26 March 2016 at 17:42:06 UTC, Anon wrote:
The (conceptually) simple change I suggested brings the mangled name length down to O(n).
Hi Anon,I've started implementing your idea. But perhaps you already have a beginning of an implementation? If so, please contact me :)
https://github.com/JohanEngelen Thanks, Johan