#include "syntax.cont.m"

in
#include "semantics.m"

in case parse input in
      PError m: "syntax error: " @ m  ||
      exp prog: ShowVal( E prog rho0 k0 st0 )
   end

--\fB Interpreter for Lambda Calculus in LML. \fP