polyml

v 5.9 Updated: 1 year, 2 months 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.

http://www.polyml.org/

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

sudo port install polyml

Add to my watchlist

Installations 6
Requested Installations 6