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
28 stars 7 forks source link

old minor improvements #235

Closed williamdemeo closed 1 year ago

williamdemeo commented 1 year ago

These are mostly cosmetic, apart from the removal of a couple remaining obsolete occurrences of the signature variable S.