%%% Untyped lambda-calculus
%%% Author: Frank Pfenning

term : type.  %name term (M N) (x y z).

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