Standard ML interpreter, with relational extensions, implemented in Javagithub.com/julianhyde4 pointskristianp6 years ago