Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!caldera.usc.edu!jamin
From: jamin@caldera.usc.edu (Sugih Jamin)
Newsgroups: comp.lang.functional
Subject: lamba calc
Message-ID: <33472@usc.edu>
Date: 9 Jun 91 21:42:39 GMT
Sender: news@usc.edu
Organization: University of Southern California, Los Angeles, CA
Lines: 5
Nntp-Posting-Host: caldera.usc.edu
Originator: jamin@caldera.usc.edu

Does anyone have an implementation of an evaluator for the
lambda calculus in a fuctional programming language such as 
ML, i.e., to do beta conversion, etc?
-- 
sugih`                                            Use e-mail, save a tree.