factor

Author	SHA1	Message	Date
Joe Groff	7f94e07180	io.encodings.string: make binary decode/encode nop Fixes #319.	2011-10-31 11:07:44 -07:00
Joe Groff	f188f203a0	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
Doug Coleman	4cef8ff880	rename lines to stream-lines rename cnotents to stream-contents	2009-05-01 10:41:27 -05:00
Slava Pestov	d66f887736	Create basis vocab root	2008-07-28 22:03:13 -05:00