blob: 5e653ac3fb1ba15e9c3063f462dc3ca689e767b7 (
plain) (
tree)
|
|
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
|