Package “Poly/ML” has 3 man pages.
poly(1) 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(1) 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(1) polyimport reads in a Poly/ML import file and runs it. Import files are generated using the PolyML.exportPortable function.