Install the implementation SML of New Jersey (smlnj):
brew install smlnj
Emacs keybindings:
C-c C-s Start REPL C-d Stop REPL (inside REPL buffer)