[Agda] unused values

Sergei Meshveliani mechvel at botik.ru
Sun Mar 15 22:07:00 CET 2015


Dear Agda developers,

It will be extremely useful to have the type checker warnings 
(switched by the option) for

   unused values (types), unused import, and such
   (like it is in Glasgow Haskell).

Regards,

------
Sergei



More information about the Agda mailing list