Handbook
Glossary
hex-utf8% ( ch -- )
Vocabulary
urls
.
encoding
.
private
Inputs
ch
an
object
Outputs
None
Definition
USING:
io.encodings.string
io.encodings.utf8
sequences
strings
;
IN:
urls.encoding.private
:
hex-utf8%
( ch -- )
1string
utf8
encode
[
hex%
]
each
;