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

fix the paragraph on setoid, and remove the 'ever'. #195

Closed JacquesCarette closed 2 years ago

JacquesCarette commented 2 years ago

As topic line says.