About the App
- App name: one-ml
- App description: Reboot of ML unifying its core and (now first-class) module layers
- App website: https://www.mpi-sws.org/~rossberg/1ml/
Install the App
Command+Spaceand type Terminal and press enter/return key.
- Run in Terminal app:
ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" < /dev/null 2> /dev/null
and press enter/return key. Wait for the command to finish.
brew install one-ml
Done! You can now use