Hi gang,
As any teenager who wishes to distinguish himself from the bearded old
gurus, I was trying to UTF-8[1] my Twelf sources recently. How nice
would it be to have my lambdas λ or Λ? Really nice; the right word
might even be *sexy*. True.
So, is there any support for UTF-8 my teenageness couldn't find?
Thanks in advance!
Footnotes:
[1] UTF-8 is used here as a verb. Teenager thing again.
--
Michaël `Micha' Cadilhac (LITQ, U. de Montréal) --
http://michael.cadilhac.name || It's not that it's time for a beer,
|| just that it isn't time
|| for no beer.
------------------------------------------------------------------------------
Stay on top of everything new and different, both inside and
around Java (TM) technology - register by April 22, and save
$200 on the JavaOne (SM) conference, June 2-5, 2009, San Francisco.
300 plus technical and hands-on sessions. Register today.
Use priority code J9JMT32.
http://p.sf.net/sfu/p_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list
