lambda/lambda/langtools: initial lambda push; the current prototype suuports the following features:

Alessio Stalla alessiostalla at
Thu May 27 11:11:13 PDT 2010

On Thu, May 27, 2010 at 7:45 PM, Nathan Bryant
<nathan.bryant at> wrote:
> This is great! But what is the syntax?

You can see an example of it at
(and in general examining the tests that they have committed).

More information about the lambda-dev mailing list