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

just making things prettier. #62

Closed JacquesCarette closed 3 years ago

JacquesCarette commented 3 years ago

Some of these things should also be in stdlib. I'll try to make some PRs there - but if you want credit for contributing to the larger community, you should too!

williamdemeo commented 3 years ago

Some of these things should also be in stdlib. I'll try to make some PRs there - but if you want credit for contributing to the larger community, you should too!

If you mention which things exactly you think should be in stdlib, I'd be happy to submit a PR and get credit... unless of course it's something you did! :)