poly(1) on Linux
The text 58a9889fafcb, as Debian 9 (Stretch) shipped it.
the Poly/ML Standard ML implementation
Flags it lists
-
--error-exit -
--eval -
--help -
--ideprotocol -
--script -
--use -
--with-markup -
-H -
-i -
-q -
-v