issues
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
miscellaneous improvements
#173
Closed
williamdemeo
closed
2 years ago
williamdemeo
commented
2 years ago
All looks good to me. I'm going to merge and them submit.
All looks good to me. I'm going to merge and them submit.