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

Typo #154

Closed k4rtik closed 3 years ago

williamdemeo commented 3 years ago

Thanks @k4rtik !! :)

williamdemeo commented 3 years ago

@k4rtik The library is beta and constantly undergoing major upgrades, reorgs, etc. These may cause serious growing pains and frustration for anyone trying to actually use the library. I apologize for that, but please let me know if you have any questions, need any help, or have any comments or suggestions. And thank you for your interest!! :+1:

Also, I'm currently working on a paper (for TYPES 2021 post-proceedings) that will (hopefully!) clearly explain many of the key components of the library. You can preview an early, frequently changing draft of the paper in the docs/TYPES2021 directory of this repository... but be warned: it still needs a lot of work!