factor

Author	SHA1	Message	Date
Joe Groff	bf0c7eaa22	io.encodings.string: make binary decode/encode nop Fixes #319.	2011-10-31 11:07:44 -07:00
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
Doug Coleman	471fe2c272	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