mirror of
https://github.com/Smaug123/agda-utils
synced 2025-10-05 19:48:42 +00:00
5 lines
129 B
Markdown
5 lines
129 B
Markdown
# agda-utils
|
|
Manipulations of Agda files
|
|
|
|
At the moment, this is a little tool to remove unused open statements from Agda files.
|