polyml (lang/polyml) Updated: 7 months, 3 weeks 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