Tools

SML/NJ

We will use the latest version of SML/NJ(110.72) in our course.

  • Windows user Download
  • Linux user run "sudo apt-get install smlnj" in Debian/Ubuntu.

MLton

  • Windows user Download
  • Linux user
    1. Download this package
    2. run "sudo tar -zxvf this_package /"

Emacs

  • Setup your environment in Ubuntu(Linux)
    1. sudo apt-get install emacs sml-mode mlton
    2. sudo apt-get install build-essentials
  • Setup your environment in Windows
    1. Download Emacs and extract to "d:\Emacs" e.g.
    2. Adding environment variable "HOME", set as "d:\Emacs" e.g.
    3. Download sml-mode and extract to "d:\Emacs\site-lisp" e.g.
    4. Add following code to your ".emacs" file in HOME 
      (add-to-list 'load-path "d:/emacs/site-lisp" t)
(add-to-list 'load-path "d:/emacs/site-lisp/sml-mode")
(load "sml-mode-startup")
    5. Save & Restart Emacs
  • Tutorial
    • Start your Emacs find tutorial from Menu -> Help -> Emasc tutorial

Cygwin

Cygwin is a Linux-like environment for Windows. To install Cygwin