Example
- let val S = fn f =>
fn g =>
fn x => (f x) (g x)
val K = fn a => fn b => a
val I = S K K
in reify (E-->E) I
end;
> val it = Abs ("x1",Var "x1") : exp
Previous slide
Next slide
Back to first slide
View graphic version