mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-01 01:17:02 +00:00
6 lines
216 B
Plaintext
6 lines
216 B
Plaintext
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
|