Guix will hold its first online conference November 22nd. Propose a talk before November 6th. Learn more!

polyml 5.8.1 Standard ML implementation

Poly/ML is a Standard ML implementation. It is fully compatible with the ML97 standard. It includes a thread library, a foreign function interface, and a symbolic debugger.