FW: [mercury-users] Records

[Robert Ernst Johann JESCHOFNIK]

On Wed, 10 Nov 1999, Richard A. O'Keefe wrote:

> 	Anyway, even if were to add UCN support to Mercury, for the core
> 	language and for the identifiers in the standard library I think we
> 	should stick with just the printable ASCII characters that appear on
> 	standard keyboards.
> 
> Could you at least allow the ×, ÷ and ¬
> character as _alternatives_ for multiplication, division, and 
> logical negation?

I know nothing about unicode and the various specifications mentioned,
however I'm going to take a stab in the dark and guess that there are also
characters like &forall and &exists, that would look nice in existential
type declarations.

It wouldn't be bad if we had a proper `implies' instead of :- either



Rob
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------