What is “one-ml” Package?

Reboot of ML, unifying its core and (now first-class) module layers
For more details: https://www.mpi-sws.org/~rossberg/1ml/

Installation

• Open Terminal by pressing command+space then type terminal and hit Enter key.
• Install homebrew first.

  ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" < /dev/null 2> /dev/null

• Install one-ml.

  brew install one-ml

Now, use one-ml!