[m-dev.] for review: impure functions
David Glen JEFFERY
dgj at cs.mu.OZ.AU
Thu Apr 6 14:38:07 AEST 2000
On 06-Apr-2000, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> A diff of the changes to the top of purity.m:
Looks fine.
dgj
--
David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student, | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.| With sufficient formality
The University of Melbourne | The sheerist banality
Australia | Will be hailed by the critics: "Miraculous!"
| -- Anon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to: mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions: mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------
More information about the developers
mailing list