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

From: faisal vali (fvali_at_[hidden])
Date: 2003-04-21 01:09:00

Mr. Karvonen,
        I was just wondering if or when you were planning on posting the code
for this PP-evaluator for your extended lambda calculus?

I look forward to tinkering around with it if u do ;-)

regards,
-Faisal Vali