[Agda] help with math symbols

Nils Anders Danielsson nad at chalmers.se
Thu Aug 9 12:07:11 CEST 2012


On 2012-08-08 14:47, Serge D. Mechveliani wrote:
> a) when  emacs  was run, the command  `mesg y'  was re-applied, and
>     this has reset some path to  /home/mechvel/stdin.

The command "agda-mode locate" should always print

   <some path>/emacs-mode/agda2.el

to stdout (if / is the directory delimiter):

   printEmacsModeFile :: IO ()
   printEmacsModeFile = do
     dataDir <- getDataDir
     let path = dataDir </> "emacs-mode" </> "agda2.el"
     hSetEncoding stdout utf8
     putStr path

-- 
/NAD


More information about the Agda mailing list