ualib/agda-algebras

Split large files?

Closed this issue · 2 comments

Some of the files are awkward to navigate as they've gotten quite long. I try to split things, when there is a fairly natural place to do so, when files get over 200-300 lines. Is that ok?

Agreed. Please go ahead and split away, as you see fit.

Since this issue was a question, rather than a ToDo for specific files, it has been answered.