%%% The Mini-ML Language
%%% Version restricted to pure lambda-calculus
%%% Author: Frank Pfenning, based on [Michaylov & Pfenning 92]

% Expressions

exp : type.  %name exp E x.

lam  : (exp -> exp) -> exp.
app  : exp -> exp -> exp.