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 improvements plus refactoring for stdlib 1.7.2 #240

Closed williamdemeo closed 8 months ago

williamdemeo commented 8 months ago

(Many of the improvements were implemented a while ago but I forgot to commit them.)

williamdemeo commented 8 months ago

Thanks for taking a look at these minor improvements, @JacquesCarette