polyml (lang/polyml) Updated: 1 year, 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.1 License: LGPL-2.1
GitHub
| Maintainers | pclayton |
| Categories | lang sml |
| Homepage | https://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)
5
Requested Installations (30 days)
5
Livecheck results
polyml seems to have been updated (port version: 5.9.1, new version: 5.9.2)
livecheck ran: 2 days, 12 hours ago