Using Homebrew on MacOS, install this by brew install rlwrap, and on Ubuntu / Debian Linux, install this by sudo apt-get install rlwrap. In order to be able to use the arrow keys to navigate lines that were previously typed into the REPL, most of the SML compilers can benefit from the program rlwrap. sudo add-apt-repository ppa:kflarsen/mosml Currently I get nvidia-smi: command not found. I’m trying this process: sudo apt purge nvidia- sudo add-apt-repository ppa:graphics-drivers/ppa sudo apt-get install nvidia-390 The drivers seem to be installed, however I normally check things like this by using nvidia-smi. Run sudo apt-get install smlnj as the super user. I’m trying to get an Nvidia 970M working on a Linux Mint 18 laptop.Run brew install smlnj as your own user.C:\Program Files (x86)\mosml\bin\mosml.exe. C:\Program Files (x86)\SML NJ\bin\sml.bat. Scroll down and find the MS Windows Installer, e.g.Go to and find the latest release, e.g.Here are instructions for installing each of SML/NJ, Moscow ML and Poly/ML divided by operating system. That isn't essential for getting started, though. Moscow ML and Poly/ML are easy to get started with, but don't support the. SML/NJ is the most widely used, but has slightly difficult error messages for learning purposes. MLton produces very optimized code, but has no REPL. There is a dozen implementations of Standard ML.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |