Find and clean up unused imports

agda / agda-categories

A new Categories library for Agda

https://agda.github.io/agda-categories

MIT License

363 stars 68 forks source link

Open JacquesCarette opened 2 years ago

JacquesCarette commented 2 years ago

While an inside-agda solution would be better, this HTML-level hack would be better than nothing!