(Note the comment, and the dash in the slice range.)
This is best done using a URL encoding function in in alg.sign_w, but that would require a parseable alg string to use.
I don't quite like the idea of semantic URL unescaping, though. It would amount to a second serialization format for SiGN.
In particular, translate:
R U R'
->R_U_R-
2-3Rw' // It's a comment!
to:2-3Rw%27_%2F%2F_It%27s_a_comment!
or2-3Rw-_%2F%2F_It%27s_a_comment!
(Note the comment, and the dash in the slice range.)
This is best done using a URL encoding function in in
alg.sign_w
, but that would require a parseable alg string to use. I don't quite like the idea of semantic URL unescaping, though. It would amount to a second serialization format for SiGN.