[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