char encoding
fixes #40
I'm not sure this is the best encoding for chars. Specifically, the JSON encoding is convoluted, possibly too convoluted. At the very least, the escaping/deescaping functions should be from a json library.
fixes #40
I'm not sure this is the best encoding for chars. Specifically, the JSON encoding is convoluted, possibly too convoluted. At the very least, the escaping/deescaping functions should be from a json library.