AZ
Size: a a a
AZ
Т8
p
λ
AZ
p
Т8
p
Т8
λ
let foo = {
let x = 5;
let y = 10;
let z = 15;
x*x + y*y + z*z
};
Т8
p
Т8
λ
а
foo = let x = 5
y = 10
z = 15
in x*x + y*y + z*z
p
λ
λ
p
foo = let x = 5
y = 10
z = 15
in x*x + y*y + z*z
AZ