Wed, 21 Oct 1998 18:59:05 -0700 (PDT)
On Wed, 21 Oct 1998, RE01 Rice Brian T. EM2 wrote:
> >It's just that lambda (or rather, lambda-eval-quote) constitutes a minimal
> >reflective logic with well-defined operational semantics (i.e.
> >out of which we may build the rest.
> good enough for me. as far as i'm concerned, the argument is on hold.
> let's discuss what sort of lambda(based)-calculus implementation we can
> work with, with the goal of other-language generation being the limit of
> the project. i'm still very concerned about the limits of this
> approach, but practicality is the most important measure we have right
Fare is bootstrapping starting with Scheme. I was going to try to help
(while continuing my C bootstrap project in parallel). Do you want to
David Manifold <email@example.com>