Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Mon, 26 Oct 1992 13:19:14 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA28467; Mon, 26 Oct 92 03:04:56 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from [129.215.160.108] by ted.cs.uidaho.edu (16.6/1.34) id AA28462; Mon, 26 Oct 92 03:04:47 -0800 Received: from mersea.dcs.ed.ac.uk by dcs.ed.ac.uk id aa09841; 26 Oct 92 10:57 GMT From: kgg@uk.ac.ed.dcs Date: Mon, 26 Oct 92 10:57:47 GMT Message-Id: <6400.9210261057@mersea.dcs.ed.ac.uk> To: info-hol@edu.uidaho.cs.ted Subject: Lambda Users' Mailing List Announcement A MAILING LIST FOR LAMBDA USERS ------------------------------- Following the first Lambda users meeting in Leuven at the HOL92 workshop, a lambda user group mailing list has been set up. It is called lambda-usergroup@dcs.ed.ac.uk, and messages sent to this address will be forwarded to all those on the list. Problems, queries, and suggestions can be posted here, and will hopefully be responded to within a reasonable time. If you wish to be added to the list reply with a message to that effect. If you other people who may be interested in this list please forward this message to them. Kees Goossens (kgg@dcs.ed.ac.uk)