Closed andrew-johnson-4 closed 2 days ago
f := λ. 1_u64; g := λ. (: ( (f()) ) U64)
return value from g is wrong
return value from g is wrong