........ > Port attached (I'll try to switch to a mail client that supports > MIME before next time) > > [1] https://www.polyml.org/documentation/Reference/PolyMLStructure.html#IntInf > > begin 644 polyml.tar.gz ........
why not adding information on library documentation to DESCR? Poly/ML is a Standard ML implementation originally written in an experimental language called Poly. It has been fully compatible with the ML97 standard since version 4.0. Poly/ML takes a conservative approach to the Standard ML language and avoids incompatible extensions. It has added various library extensions particularly the thread library. The documentation for the Poly/ML Basis library can be found at <https://www.polyml.org/documentation/Reference/Basis.html> and includes information on global values and types as well as structures, signatures and functors. More in-depth documentation can be found at the SML Family website <https://smlfamily.github.io/Basis/manpages.html>. (cf. my port of the previous version 5.8.2 https://github.com/yozot/OpenBSD-ports-mystuff/blob/master/lang/polyml/pkg/DESCR) -- yozo.
