dat@eagle.ukc.ac.uk (D.A.Turner) (05/27/88)
Miranda - release one --------------------- Miranda is a very pure functional language designed by Professor David Turner of the University of Kent. It has polymorphic strong typing and a simple but powerful module system. This is to inform anyone who may be interested that the first full release of the Miranda functional programming system is now available for a number of UNIX machines, including VAX's and SUN's. If you wish to receive a longer piece of electronic mail telling you more about the Miranda system and how to obtain it, this can be requested from USENET: ...!mcvax!ukc!mira-request ARPANET: mira-request@ukc%nss.cs.ucl.ac.uk JANET: mira-request@ukc.ac.uk
howell@COMMUNITY-CHEST.MITRE.ORG (06/01/88)
An announcement of an implementation of Miranda was recently posted to this mailing list; I apologize for sending this to the entire list, but I deleted that mail message inadvertantly before I had a chance to respond. If someone would re-post it to me, I'd appreciate it. Thanks, Chuck Howell The MITRE Corporation, Mail Stop Z645 7525 Colshire Drive, McLean, VA 22102 NET: howell@mitre.arpa or howell%community-chest.mitre.org@gateway.mitre.org
dat@eagle.ukc.ac.uk (D.A.Turner) (07/06/88)
Miranda (correction) ------- The arpanet address for obtaining further information about the new release of the Miranda functional programming system is mira-request%ukc@nss.cs.ucl.ac.uk this address was garbled in an earlier message. In fact from many sites mira-request@ukc.ac.uk (uucp: mcvax!ukc!mira-request) will work too. Apologies to people whose requests for information didn't get through.