Some Simple Programs
eval : A
A
eval (x) = let box u = x in u
quote :
A
A
quote (x) = let box u = x in box (box u)
app :
(A
B)
A
B
app (f) (x) =
let box g = f in
let box u = x in box (g u)