Package “Poly/ML” has 3 man pages.

poly starts the Poly/ML shell. Poly/ML is an implementation of Standard ML written by David Matthews originally at the University of Cambridge and maintained as...
polyc is a script that compiles a Standard ML program using the Poly/ML compiler and creates an executable program from it. It can also be used to link object...
polyimport reads in a Poly/ML import file and runs it. Import files are generated using the PolyML.exportPortable function.