Poly/ML is an extremely fast and efficient implementation of Standard ML. Program state can be saved in a memory-mapped persistent store. There are numerous addon libraries available.
Poly/ML is an extremely fast and efficient implementation of Standard ML. Program state can be saved in a memory-mapped persistent store. There are numerous addon libraries available.
To install polyml, run the following command in macOS terminal (Applications->Utilities->Terminal)
sudo port install polyml
To see what files were installed by polyml, run:
port contents polyml
To later upgrade polyml, run:
sudo port selfupdate && sudo port upgrade polyml
Reporting an issue on MacPorts Trac
The MacPorts Project uses a system called Trac to file tickets to report bugs and enhancement requests.
Though anyone may search Trac for tickets, you must have a GitHub account in order to login to Trac to create tickets.