5 lines
216 B
Text
5 lines
216 B
Text
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 ML values.
|
|
|
|
WWW: http://www.polyml.org
|