[Agda] "Failed to find source"

[Nils Anders Danielsson]

On 2020-05-10 23:21, mechvel at scico.botik.ru wrote:
> Can Agda issue the latter message in both cases?

Try adding a .agda-lib file including the line "include: ." in /foo/.

The Emacs mode determines the "root" directory based on the name of the
module. If you call the module M, then the root directory is taken to be
/foo/L.

-- 
/NAD