Hacker News new | ask | show | jobs
by bauerd 3297 days ago
I know it's only a cure for the symptom, but there's the OverloadedStrings extension