agda-categories icon indicating copy to clipboard operation
agda-categories copied to clipboard
verified publisher icon agda

Find and clean up unused imports

Open JacquesCarette opened this issue 4 years ago • 0 comments

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

JacquesCarette avatar Nov 10 '21 16:11 JacquesCarette