Example
- let fun p s d = s d
fun id x = x
val p_id = p id
in reify (E-->E) p_id
end;
> val it = Abs ("x1",Var "x1") : exp
Previous slide
Next slide
Back to first slide
View graphic version