Boost logo

Boost :

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)

Faisal Vali

Boost list run by bdawes at, gregod at, cpdaniel at, john at