[Agda] Development version of agda-mode doesn't recognize
Nils Anders Danielsson
nad at cse.gu.se
Tue Nov 26 13:52:03 CET 2013
On 2013-11-26 13:26, Jan Stolarek wrote:
> It seems that symlinks are confusing agda-mode. Any way to solve that
Symlinks appear to be supported for regular modules:
$ mkdir A
$ ln -s A B
$ echo 'module A.M where' > A/M.agda
$ agda B/M.agda
Checking A.M (/tmp/A/M.agda).
However, I guess the code that handles the new module Agda.Primitive
breaks some invariant.
More information about the Agda