mirror of
https://github.com/Smaug123/agda-utils
synced 2025-10-08 04:58:41 +00:00
129 B
129 B
agda-utils
Manipulations of Agda files
At the moment, this is a little tool to remove unused open statements from Agda files.