This directory contains six project files (M1.PRJ -> M6.PRJ).
They can be used to load modular interpreters ranging form a 
simple expression evaluator to a nondeterministic lambda-calculus 
interpreter (call-by-value, call-by-name and call-by-need) with 
local definitions and a trace facility. 

Examples can be found in the files (EX1 -> EX6). 

Enjoy!
 
