28 Feb
2006
28 Feb
'06
11:10 a.m.
Malcolm.Wallace wrote:
(But then, how would you guarantee that the first three characters in the file must be "{-#" ?)
In particular, what do you propose for literate source? (I hardly have any .hs files.) As far as I can see, it seems to be possible to get LaTeX to work with UTF8; the (apparently not extremely active) ``Unicode TeX project'' Omega apparently started out with ``16-bit Unicode'' (http://omega.enstb.org/) and now turned to 31-bit characters (http://omega.cse.unsw.edu.au/omega/), and the future may of course bring us other variants... (Isn't it great that we can add a new dimension to Wadler's law by discussing character encodings? ;-) Wolfram