On Mon, Aug 15, 2005 at 02:03:22PM +0400, Konovalov, Vadim wrote: > > # Pugs - Lambda Camels > > http://pugscode.org/images/lambdacamels.png > > I wonder do greek symbols have any meaning?
Yes, "omega" stands for higher-order polymorphism, as in "System F-omega". The reversed "E" is the standard "there exists" symbol in mathematics. The "Y" letter stands for the Y combinator, the canonical device for general recursion. The "lambda", well, stands for lambda. :) Thanks, /Autrijus/
pgpHPumlzNVbc.pgp
Description: PGP signature
