On Tue, 27 Aug 2013, Michael Norrish wrote:
I?d certainly be interested in seeing how to write my own REPL.
BTW, here is a worked example of "eval" in Poly/ML 5.5: http://stackoverflow.com/questions/9555790/does-sml-poly-have-a-cl-like-repl...
Makarius