Boost :

Date view	Thread view	Subject view	Author view

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

Next message: Vladimir Prus: "[boost] Re: an xml-binary persistence library"
Previous message: Rozental, Gennadiy: "RE: [boost] test_exec_fail4 on HPUX using gcc"
In reply to: Vesa Karvonen: "[boost] Re: PP: Beta-reducer for closed lambda-terms"
Next in thread: David Abrahams: "Re: [boost] Re: PP: Beta-reducer for closed lambda-terms"

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

Next message: Vladimir Prus: "[boost] Re: an xml-binary persistence library"
Previous message: Rozental, Gennadiy: "RE: [boost] test_exec_fail4 on HPUX using gcc"
In reply to: Vesa Karvonen: "[boost] Re: PP: Beta-reducer for closed lambda-terms"
Next in thread: David Abrahams: "Re: [boost] Re: PP: Beta-reducer for closed lambda-terms"

Date view	Thread view	Subject view	Author view

Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk