[m-rev.] For review: State Variable Transformation
Ralph Becket
rafe at cs.mu.OZ.AU
Mon Apr 22 14:47:38 AEST 2002
Ah, I see what you mean. You're suggesting the rule should be that
all state variables must be introduced either in the head of a
clause or lambda or in an explicit quantification.
This would indeed make things clearer; I'll set about making the
required changes.
- Ralph
--------------------------------------------------------------------------
mercury-reviews mailing list
post: mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the reviews
mailing list