polyml

v 5.9.1 Updated: 3 weeks, 6 days ago

An implementation of Standard ML.

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.

https://www.polyml.org

To install polyml, paste this in macOS terminal after installing MacPorts

sudo port install polyml

Add to my watchlist

Installations 5
Requested Installations 4