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