blob: 2e6ffe5341d7815e76f916894b7e30a48a6fb860 (
plain) (
blame)
1
2
3
4
5
|
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: https://www.polyml.org
|
