From: Johannes Rössel (joey@muhkuhsaft.de)
Date: Thu Nov 11 2010 - 05:47:26 CST
(Ok, I messed up a bit, the signature for an encoding itself should 
probably be something like seq BYTE → CHAR to allow for UTF-8 or UTF-16 
properly; the simplistic ℕ → CHAR doesn't suffice for all encodings. 
Nevertheless, my point should still stand)
Regards,
Johannes
This archive was generated by hypermail 2.1.5 : Thu Nov 11 2010 - 05:50:05 CST