[Haskell'-private] pragmas and annotations (RE: the record system)

[kahl at cas.mcmaster.ca]

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