dat@eagle.ukc.ac.uk (D.A.Turner) (05/24/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
jack@cs.glasgow.ac.uk (Mr Jack Campin) (06/11/88)
In article <5033@eagle.ukc.ac.uk> dat@ukc.ac.uk (D.A.Turner) writes: >Miranda is a very pure functional language ... ^^^^ ^^^^ Rather reminds me of those bottles of "extra virgin" olive oil. -- ARPA: jack%cs.glasgow.ac.uk@nss.cs.ucl.ac.uk USENET: jack@cs.glasgow.uucp JANET:jack@uk.ac.glasgow.cs useBANGnet: ...mcvax!ukc!cs.glasgow.ac.uk!jack Mail: Jack Campin, Computing Science Dept., Glasgow Univ., 17 Lilybank Gardens, Glasgow G12 8QQ, SCOTLAND work 041 339 8855 x 6045; home 041 556 1878
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.