Joe Groff 5c945595ee io.encodings.string: faster decode and encode ... stream-contents is apparently way slow for decoders. Write decode out more directly as a read1/push loop so it's faster. encode isn't quite as bad, but we can still get a 25% speed improvement by writing to an appropriately sized byte-vector.		2011-10-17 21:23:02 -07:00
..
authors.txt	…
string-docs.factor	Add examples to encode/decode docs.	2011-10-06 13:21:18 -07:00
string-tests.factor	…
string.factor	io.encodings.string: faster decode and encode	2011-10-17 21:23:02 -07:00
summary.txt	…
tags.txt	…