[Agda] Redundant imports

[Nils Anders Danielsson]

On 2018-04-23 21:55, Martín Hötzel Escardó wrote:
> I have reorganized a large code base by splitting and merging modules,
> and moving things from one module to another, and I fear I am left
> with very many redundant imports. Is there any way to detect them
> automatically?

Guillame Allais has been working on something like this on a separate
branch:

   https://github.com/agda/agda/issues/2503

-- 
/NAD