[Agda] Redundant imports

[Sergei Meshveliani]

I also suffer of redundant import. 
Even a slight code change often leads to redundant import.

------
Sergei
 

On Mon, 2018-04-23 at 20:55 +0100, 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? This is important to try speed up "reloading" in 
> interactive mode. (Although already this refactoring has improved this bit.)
> 
> Thanks,
> Martin
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>