add haskell support to emacs
add coq support to emacs