LAmbda calculus evaluator (interactive)

[Justin Sheehy]

Andrew Cooke <andrew at andrewcooke.free-online.co.uk> writes:

> I know where I can get various (Oca)ML programs, but I'm not sure
> they're interactive

% ocaml
        Objective Caml version 2.04

# 1 + 1;;
- : int = 2
# 

-Justin