Standard ML interpreter, with relational extensions, implemented in Java | Heykuki News