polyml (lang/polyml) Updated: 2 years, 4 months ago Add to my watchlist
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.
Version: 5.9 License: LGPL-2.1 GitHubMaintainers | pclayton |
Categories | lang sml |
Homepage | http://www.polyml.org/ |
Platforms | darwin |
Variants |
|
"polyml" depends on
lib (1)
build (2)
Ports that depend on "polyml"
No ports
Port Health:
Loading Port Health
Installations (30 days)
4
Requested Installations (30 days)
3
Livecheck results
polyml seems to have been updated (port version: 5.9, new version: 5.9.1)
livecheck ran: 1 day, 19 hours ago