#include "syntax.cont.m"

in
#include "semantics.m"

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

--\fB Interpreter for Lambda Calculus in LML. \fP
-- L.Allison, Department of Computer Science, Monash University, Australia