hg: lambda/lambda/langtools: Next round of implementation reflecting the latest 'State of the Lambda' draft; implemented features are:

Neal Gafter neal at gafter.com
Mon Jul 26 13:48:11 PDT 2010

The "more specific" analysis doesn't depend on knowing the argument types.

On Monday, July 26, 2010, Nathan Bryant <nathan.bryant at linkshare.com> wrote:
> The usual rules would seem to be appropriate when the parameter type is known. In this case, it is not.

More information about the lambda-dev mailing list