ualib/agda-algebras

See if Algebroids/Setoid can be simplified

JacquesCarette opened this issue · 0 comments

JacquesCarette commented

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