Acknowledgements, spacing, one ref comment

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

Closed JacquesCarette closed 2 years ago

JacquesCarette commented 2 years ago

As per the title.

JacquesCarette commented 2 years ago

I think I cut-and-pasted from the referee report as a starting point. I don't care, either spelling is fine with me.