FW: [mercury-users] Records

[Peter Schachte]

On Tue, Nov 09, 1999 at 10:12:49PM +1100, Michael Day wrote:
> I'd agree that we're stuck with ASCII when it comes to writing programs,
> at least for the time being (is it possible to add UNICODE comments using 
> UTF-8 encoding? What about UNICODE identifiers?).

That should be fine if the compiler handles it.  But adding funky
characters to the *language* is a different matter.  I'd hope Japanese
Mercury users could write their programs in kanji, only using ascii
for language keywords and library calls.

> But to get LaTeX
> symbols, can we just write: \all x \exists y (P(x) \implies Q(y)) and have
> a fancy editor that displays them in the graphical font of our
> choice? :)

Sounds good.  Where do I get such an editor?  I'm assuming it would be
a structure editor.  I've wanted one since I stopped being able to use
the Interlisp-D environment.


-- 
Peter Schachte                     [A computer is] like an Old Testament
mailto:schachte at cs.mu.OZ.AU        god, with a lot of rules and no mercy.
http://www.cs.mu.oz.au/~schachte/      -- Joseph Campbell 
PGP: finger schachte at 128.250.37.3  
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------