To run the parser and pretty printer, do the following:

1) Start a shell and run "make" to build the executable "lam".

2) at the prompt, type: ``lam "program.lam";'' to parse and print the
   sample program from file "program.lam"


To do: implement type inference in "inference.ml".