rouge
rouge copied to clipboard
Coq has non-standard string escapes.
The only escape is "" -> ".
As with previous contributions, I don't know much ruby, so improvements are welcome.