[mercury-users] Request for comments on this code
Peter Schachte
schachte at csse.unimelb.edu.au
Wed Jul 12 14:54:07 AEST 2006
On Wed, Jul 12, 2006 at 02:50:56PM +1000, Ralph Becket wrote:
> This is a quantum worm. Schroedinger's worm, perhaps.
That's nice. Gives Schroedinger's cat something to play with.
--
Peter Schachte If your thesis is utterly vacuous Use
schachte at cs.mu.OZ.AU first-order predicate calculus. With sufficient
www.cs.mu.oz.au/~schachte/ formality The sheerist banality Will be hailed
Phone: +61 3 8344 1338 by the critics: "Miraculous!" -- Anon.
--------------------------------------------------------------------------
mercury-users mailing list
post: mercury-users at csse.unimelb.edu.au
administrative address: owner-mercury-users at csse.unimelb.edu.au
unsubscribe: Address: mercury-users-request at csse.unimelb.edu.au Message: unsubscribe
subscribe: Address: mercury-users-request at csse.unimelb.edu.au Message: subscribe
--------------------------------------------------------------------------
More information about the users
mailing list