search

ualib / agda-algebras

The Agda Universal Algebra Library (html docs available at the url below)
https://ualib.github.io/agda-algebras/
Creative Commons Attribution Share Alike 4.0 International
29 stars 7 forks source link

cleaned up and condensed code so there's enough room to include more #196

Closed williamdemeo closed 2 years ago

williamdemeo commented 2 years ago

I think it's important to include the module statements because they include assumptions that readers might worry about.

williamdemeo commented 2 years ago

This PR includes no material changes to the code, just causes more of the module declarations to appear in the paper so the assumptions we're making are more explicit. I had to trim some of the fat (mostly with more efficient use of white space) so that it all still fits within the 20 page limit.

williamdemeo commented 2 years ago

Note that if space is a big issue, I'm pretty good at squeezing things down.

Okay, good.