[Agda] How to get rid of warning

Nils Anders Danielsson nad at cse.gu.se
Thu Dec 21 09:45:33 CET 2017


On 2017-12-20 22:29, Nils Anders Danielsson wrote:
> The following command might give you some useful information:
> 
>    (find-lisp-object-file-name 'agda2-include-dirs 'defvar)

The methods described in the answers to the following Emacs Stack
Exchange question are perhaps more likely to work:

   https://emacs.stackexchange.com/questions/27962/tracking-down-a-write-to-a-variable

-- 
/NAD


More information about the Agda mailing list