blob: c7a48ac2fa574db888264f2b575bd5c05e147b53 (
plain) (
blame)
1
2
3
|
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.
|