From mboxrd@z Thu Jan  1 00:00:00 1970
Path: main.gmane.org!not-for-mail
From: Thaddeus L Olczyk <olczyk@interaccess.com>
Newsgroups: gmane.emacs.help
Subject: Re: Lambda calculus and it relation to LISP
Date: Sun, 06 Oct 2002 12:22:10 GMT
Organization: Allegiance Internet - Greenbelt, MD
Sender: help-gnu-emacs-admin@gnu.org
Message-ID: <9oa0qu8ul4u2ni44ocunula5i5tod6lqvq@4ax.com>
References: <9e8ebeb2.0210041920.2e480123@posting.google.com>
Reply-To: olczyk@interaccess.com
NNTP-Posting-Host: localhost.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: main.gmane.org 1033907247 22718 127.0.0.1 (6 Oct 2002 12:27:27 GMT)
X-Complaints-To: usenet@main.gmane.org
NNTP-Posting-Date: Sun, 6 Oct 2002 12:27:27 +0000 (UTC)
Return-path: <help-gnu-emacs-admin@gnu.org>
Original-Received: from monty-python.gnu.org ([199.232.76.173])
	by main.gmane.org with esmtp (Exim 3.35 #1 (Debian))
	id 17yAVI-0005u6-00
	for <gnu-help-gnu-emacs@m.gmane.org>; Sun, 06 Oct 2002 14:27:24 +0200
Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org)
	by monty-python.gnu.org with esmtp (Exim 4.10)
	id 17yAUz-0002wv-00; Sun, 06 Oct 2002 08:27:05 -0400
Original-Path: shelby.stanford.edu!newsfeed.stanford.edu!bloom-beacon.mit.edu!ra.nrl.navy.mil!dca6-feed2.news.algx.net!dca1-feed1.news.algx.net!allegiance!dca1-nnrp2.news.algx.net.POSTED!not-for-mail
Original-Newsgroups: gnu.emacs.help,comp.lang.lisp,sci.math,sci.logic
X-Newsreader: Forte Agent 1.91/32.564
Original-Lines: 9
Original-NNTP-Posting-Host: 207.208.141.81
Original-X-Complaints-To: abuse@algx.net
Original-X-Trace: dca1-nnrp2.news.algx.net 1033906930 207.208.141.81 (Sun, 06 Oct 2002 08:22:10 EDT)
Original-NNTP-Posting-Date: Sun, 06 Oct 2002 08:22:10 EDT
Original-Xref: shelby.stanford.edu gnu.emacs.help:105764 comp.lang.lisp:95731 sci.math:549824 sci.logic:61595
Original-To: help-gnu-emacs@gnu.org
Errors-To: help-gnu-emacs-admin@gnu.org
X-BeenThere: help-gnu-emacs@gnu.org
X-Mailman-Version: 2.0.11
Precedence: bulk
List-Help: <mailto:help-gnu-emacs-request@gnu.org?subject=help>
List-Post: <mailto:help-gnu-emacs@gnu.org>
List-Subscribe: <http://mail.gnu.org/mailman/listinfo/help-gnu-emacs>,
	<mailto:help-gnu-emacs-request@gnu.org?subject=subscribe>
List-Id: Users list for the GNU Emacs text editor <help-gnu-emacs.gnu.org>
List-Unsubscribe: <http://mail.gnu.org/mailman/listinfo/help-gnu-emacs>,
	<mailto:help-gnu-emacs-request@gnu.org?subject=unsubscribe>
List-Archive: <http://mail.gnu.org/pipermail/help-gnu-emacs/>
Xref: main.gmane.org gmane.emacs.help:2310
X-Report-Spam: http://spam.gmane.org/gmane.emacs.help:2310

On 4 Oct 2002 20:20:49 -0700, gnuist007@hotmail.com (gnuist) wrote:

>"The lambda calculus is a mathematical formalism 
>having to do with the way functions instantiate
>their arguments. To some extent it is the theoretical
>basis for Lisp and plenty of other computer languages."

To really see a PL that "implements lambda calculus"
lok at Haskel, not Lisp.