I prefer "equational logic" to "universal logic" (sorry)

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

Closed williamdemeo closed 2 years ago

JacquesCarette commented 2 years ago

"universal logic" was a complete typo on my part - thanks for catching it!