Fan mail ;-)

[Fergus Henderson]

For your enjoyment...

"I was impressed by the ease of installation of Mercury - it's smooth."

----- Forwarded message from JA Van der Poll -----

Date: Wed, 17 Sep 1997 19:43:40 +0200
From: JA Van der Poll <VDPOLJA at ALPHA.UNISA.AC.ZA>
To: fjh at cs.mu.oz.au
Subject: Discovering Mercury!

Dear Fergus

I was pleasantly surprised to see you mention the new language
Mercury to Jan Hruza on the Goedel mailing list!

I am interested in proving properties of set-theoretic software
specifications (using OTTER for that) and also prototyping such
specifications.

I'm using Prolog and Goedel for the prototyping part, but now I am aware
of a third option!

I FTP'ed Mercury today and I was impressed by the ease of installation of
Mercury - it's smooth.

Thank you for the information.

Andre van der Poll
Dept. of Computer Science & IS
UNISA
South Africa



----- End of forwarded message from JA Van der Poll -----

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.