This port is marked RESTRICTED because downloading the source files
requires accepting the licence agreement. I do not know how to
update /usr/ports/LEGAL, though the handbooks says I must.
Poly/ML is a full implementation of Standard ML available
as open-source. It includes a symbolic debugger which allows
breakpoints to be set and local variables to be viewed as
Take. Just wanted to do it on my own :-)