Features of SML#
SML# supports the following practically important new features:
SML# is carefully designed so that
- it is a conservative extension of Standard ML: SML# compiler compiles any program that conforms to the Definition of Standard ML.
- it supports the Basis Library.
Currently, SML# (0.20 release version) is available in the following forms.
- source package (that can be build on linux, solaris, cygwin)
- Mac OS Intel/PowerPC universal binary package
- Windows binary installer