Changelog

0.1.0 (Oct 2020)

Initial release.

0.2.0 (May 2021)

• Support code depending on external libraries.
• Support Agda's library-related options (--include-path, etc.).
• Remove support for .agda-roots file; use an ordinary Agda file instead.
• Replace the --local option with a --global flag; default to a local check.
• Remove the --root option; infer the project root directory automatically.
• The agda-unused command now takes a filename as a positional argument.
• Check variables in standalone data & record definitions.
• Check renaming directives simultaneously (fixes bug).
• Check record types with fields referencing other fields (fixes bug).
• Check import statements with as _ (fixes bug).