LambdaConstants

[DavePearce]

There is currently no syntax for lambda constants. For example, expressions like this:

type fun is function(int)->int

function f(int x) -> (int y):
    return x+1

function create() -> fun:
    return &f