Introduction to Programming using SML
Using Moscow ML under Red Hat Linux
In our course we are using a programming environment
with PC's running Red Hat Linux
which is a UNIX version for PC's. We use the
Moscow ML Compiler and the Emacs Editor
with SML Mode which provides a convenient environment
for editing and running SML programs.
User's manual for our programming environment
Moscow ML
SML-mode for Emacs editor
Comments to:
introsml@it.dtu.dk
Last update: April 20, 1999