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

From: Vesa Karvonen (vesa_karvonen_at_[hidden])
Date: 2003-04-13 09:15:19

I said:
>and (F,X) applies X to the function F.

Oops, it should read: "and (F,X) applies the function F to the parameter X."

-Vesa

_________________________________________________________________
Add photos to your e-mail with MSN 8. Get 2 months FREE*. 
http://join.msn.com/?page=features/featuredemail