http://hg.impredicative.com/urweb/atom-log/tip/tests/char.urUr/Web: tests/char.ur history2009-05-26T12:25:06-04:00Chars and more string operationshttp://hg.impredicative.com/urweb/#changeset-395a5d450cc06ee2274e3732688556683cd8c518Adam Chlipalaadamc@hcoop.net2009-05-26T12:25:06-04:002009-05-26T12:25:06-04:00