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 _______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
