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

LF exp  : type =
  | lam   : (exp -> exp) -> exp
  | app   : exp -> exp -> exp
;
