[mercury-users] Problem with state variable

[valery at freesurf.fr]

> Yes, Det and Goal are meta-variables.  This is the case in the latest
> versions, too.  Possibly we could change the typeface used for these
> variables so that it is clearer that they are not program variables (or
> we could change 'Det' to 'Detism' or something like that).

Or 'Determinism', as in section 8.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
--------------------------------------------------------------------------