installing gecode on ubuntu
September 7, 2012
apt-get install libgecode32 libgecode-doc libgecode-dev
Alternatively, build from source, then run:
ldconfig -v
so that the shared libraries will be found.
September archive
standard ml on debian
September 6, 2012
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