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
GitHub
| Maintainers | 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: 2 hours ago