See if Algebroids/Setoid can be simplified

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

Open JacquesCarette opened 3 years ago

JacquesCarette commented 3 years ago

See PR #43 for details. Judicious use of open Setoid? Also see if there are some IndexedSetoid lurking about.