rouge icon indicating copy to clipboard operation
rouge copied to clipboard
verified publisher icon rouge-ruby

Coq has non-standard string escapes.

Open gmalecha opened this issue 3 years ago • 0 comments

The only escape is "" -> ".

As with previous contributions, I don't know much ruby, so improvements are welcome.

gmalecha avatar Sep 09 '22 03:09 gmalecha