September archive

installing gecode on ubuntu

apt-get install libgecode32 libgecode-doc libgecode-dev Alternatively, build from source, then run: ldconfig -v so that the shared libraries will be found.

standard ml on debian

There's several sml compilers in the debian repositories. My class requires polyml:

apt-get install polyml

If you want to use emacs as your editor, you may also want integrated sml support:

apt-get install sml-mode