diff options
Diffstat (limited to 'lang/polyml/pkg-descr')
-rw-r--r-- | lang/polyml/pkg-descr | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lang/polyml/pkg-descr b/lang/polyml/pkg-descr index 2e6ffe5341d7..c7a48ac2fa57 100644 --- a/lang/polyml/pkg-descr +++ b/lang/polyml/pkg-descr @@ -1,5 +1,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. - -WWW: https://www.polyml.org |