From arosta@uclan.ac.uk Fri Aug 24 08:10:39 2001 Return-Path: X-Sender: arosta@uclan.ac.uk X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_3_2); 24 Aug 2001 15:10:39 -0000 Received: (qmail 45713 invoked from network); 24 Aug 2001 15:08:30 -0000 Received: from unknown (10.1.10.142) by m8.onelist.org with QMQP; 24 Aug 2001 15:08:30 -0000 Received: from unknown (HELO com1.uclan.ac.uk) (193.61.255.3) by mta3 with SMTP; 24 Aug 2001 15:08:29 -0000 Received: from gwise-gw1.uclan.ac.uk by com1.uclan.ac.uk with SMTP (Mailer); Fri, 24 Aug 2001 15:46:59 +0100 Received: from DI1-Message_Server by gwise-gw1.uclan.ac.uk with Novell_GroupWise; Fri, 24 Aug 2001 16:13:57 +0100 Message-Id: X-Mailer: Novell GroupWise 5.5.2 Date: Fri, 24 Aug 2001 16:13:32 +0100 To: njs , lojban Subject: lambda calculus (was: Re: status of ka (was Re: [lojban] x3 of du' Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Content-Disposition: inline From: And Rosta X-Yahoo-Message-Num: 10036 >>> Nathaniel Smith 08/23/01 08:40pm >>> #Incidentally, lambda calculus _is_ the bomb. ;-) Would anybody care to write an exposition of lambda calculus and place it o= n the wiki? --And.