> and which doesn't have command history out the box SML/NJ had the same issue; you can use rlwrap[0] to fix that. [0]: https://linux.die.net/man/1/rlwrap htt

> and which doesn't have command history out the box SML/NJ had the same issue; you can use rlwrap[0] to fix that. [0]: https://linux.die.net/man/1/rlwrap https://linux.die.net/man/1/rlwrap