ml
emacs
Tuareg is an Object Caml/Camllight mode for Emacs. It handles automatic
indentation and syntax highlighting of code. It also supports an interactive
Caml top-level and debugger. Tuareg attempts to do a better job than the
Emacs mode distributed with the OCaml 3.x source.