[boost] Re: PP: Beta-reducer for closed lambda-terms (attachment)

From: faisal vali (fvali_at_[hidden])
Date: 2003-04-20 20:51:21

wow - this is really kool stuff -

We implemented a by-value evaluator for this language using haskell, but
to implement a beta-reducer using the cpp preprocessor is extremely kool
-

For those of you who want an excellent introduction to lambda calculus
(and specifically the language implemented by mr. Karvonen) i suggest
the following book:

Types and programming languages, Pierce.

(I've mentioned this book in another thread too - but since it is
relevant here - i had to mention it again)

regards,
Faisal Vali