2 ms·Standard ML interpreter, with relational extensions, implemented in Java4 points by kristianp 7y ago