hs-to-coq icon indicating copy to clipboard operation
hs-to-coq copied to clipboard

Published 20 hours ago • verified publisher icon antalsz

Garbage-collect code base

Open antalsz opened this issue 6 years ago • 0 comments

It seems like there's a lot of code lying around that isn't being run anymore. Someone who has some spare time should go through and delete it.

antalsz avatar Oct 11 '18 17:10 antalsz