SweetLambda

Sugared lambda-calculus(?).


Loading