[Agda] Agda beginner's problem
Dan Licata
drl at cs.cmu.edu
Fri May 13 13:34:43 CEST 2011
One thing you can do to investigate is: press Control-G, at which point
emacs should become responsive again, and then look in the *ghci* buffer
to see what's going on.
-Dan
On May13, Christian Sternagel wrote:
> Hi there,
>
> I just wanted to give Agda a try. Unfortunately, after following the
> instructions from http://code.haskell.org/Agda/README, more specifically:
>
> yum install haskell-mode # I'm on fedora 14 (64 bit)
>
> adding the following lines to my ~/.emacs
>
> (load "/usr/share/emacs/site-lisp/haskell-mode/haskell-site-file")
> (add-hook 'haskell-mode-hook 'turn-on-haskell-doc-mode)
> (add-hook 'haskell-mode-hook 'turn-on-haskell-indentation)
>
> and then issuing
>
> cabal update
> cabal install happy alex haskell-src-exts-1.9.6 Agda Agda-executable
> agda-mode setup
>
> At this point the haskell-mode for emacs works. But as soon as I try to
> open a *.agda file, emacs hangs and is irresponsive. Has anybody
> experienced similar problems?
>
> cheers
>
> chris
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
More information about the Agda
mailing list