[Agda] Re: Emacs Agda mode is not working

[Stefan Monnier]

> Based on your description this guide seems to be slightly out of date.
> All you need to put in your .emacs is the following (assuming that the
> paths are correct):

>   (add-to-list 'load-path "/usr/share/emacs22/site-lisp/haskell-mode-2.4/")

Actually, the above should be replaced by

    (load "/usr/share/emacs22/site-lisp/haskell-mode-2.4/haskell-site-file")


-- Stefan