6 lines
216 B
Text
6 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
|