agda-unused (hackage): A tool to check for unused code in an Agda project.
Keywords: dependent-types|library|mit|program