TypeRexTypeRex, the OCaml Programming Studio TypeRex is a set of open-source tools and libraries for developing applications in OCaml, edited by OCamlPro. It is currently under development. Libraries and tools are released independantly, as soon as they reach a state where they can be tested and used by users.
http://xtalk.msk.su/~ott/common/emacs/rc/emacs-rc-pretty-lambda.el.html
EmacsWiki: Pretty Symbols For Languages
