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

Cleaner code #197

Closed williamdemeo closed 2 years ago

williamdemeo commented 2 years ago

Sorry, some of the changes shown here are the ones you made in your last PR (because I had started this branch before the merge of your PR was complete).

williamdemeo commented 2 years ago

Great thanks!