[Agda] help with math symbols

Nils Anders Danielsson nad at chalmers.se
Wed Aug 8 10:36:04 CEST 2012


On 2012-08-04 10:17, Serge D. Mechveliani wrote:
> Guillaume Brunerie <guillaume.brunerie at gmail.com> asks
> (on 03 Aug 2012)
>
>> And what's the output of
>>
>> sh -c "agda-mode locate"
>
>
> The same:
> /home/mechvel/.cabal/share/Agda-2.3.0.1/emacs-mode/agda2.el
>
> -- without Newline in the end.

Interesting. Can you please run the following commands in Emacs (for
instance by using M-:) and post the output here?

(shell-command-to-string "echo $SHELL")
(shell-command-to-string "echo $Agda_datadir")
(shell-command-to-string "which agda-mode")

-- 
/NAD


More information about the Agda mailing list