Description
Compile and run Standard ML programs with the Poly/ML implementation, including tools used for language research, theorem proving, and functional-programming projects. It is useful where Standard ML compatibility and performance matter.
This is a programming-language toolchain, not an end-user application. It runs user code, so build and execute only trusted sources in sensitive environments.