Package: wnpp Severity: wishlist Owner: [EMAIL PROTECTED] * Package name : polyml Version : 5.2 Upstream Author : David Matthews <[EMAIL PROTECTED]> * URL : http://www.polyml.org/index.html * License : GPLv2 Programming Lang: Standard ML Description : Standard ML implementation
Poly/ML supports the full version of the language as given in the "Definition of Standard ML (Revised)", generally known as ML97. As well as being extremely fast and efficient implementation of Standard ML Poly/ML provides several additional features. There is a foreign language interface which allows dynamically linked libraries to be loaded and functions within them called from ML. An X11 interface using Motif is available. There is also a symbolic debugger for Poly/ML. Separation into packages: polyml - toplevel interpreter This package provides the toplevel interpreter with integrated make system which is needed to build large ML programs. libpolyml-dev - development file This package provides the files needed to compile stand-alone executables with Poly/ML. libpolyml1 - runtime files This package provides the files needed to run stand-alone executables built with Poly/ML. -- System Information: Debian Release: lenny/sid APT prefers unstable APT policy: (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 2.6.25-2-amd64 (SMP w/2 CPU cores) Locale: LANG=fr_LU.UTF-8, LC_CTYPE=fr_LU.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/bash -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
