%%% The Mini-ML Language %%% Without let name in favor of parametric polymorphism %%% Author: Frank Pfenning % Expressions exp : type. %name exp E x. z : exp. s : exp -> exp. case : exp -> exp -> (exp -> exp) -> exp. pair : exp -> exp -> exp. fst : exp -> exp. snd : exp -> exp. lam : (exp -> exp) -> exp. app : exp -> exp -> exp. letv : exp -> (exp -> exp) -> exp. % no let name fix : (exp -> exp) -> exp.