Morel

Standard ML interpreter, with relational extensions, implemented in Java