Move `≡-setoid` to `Function.Indexed.Relation.Binary.Equality`#2047

Merged

MatthewDaggitt merged 3 commits intoagda:masterfrom

Saransh-cpp:function.indexed.relation.binary.equality

Sep 13, 2023

Commits on Aug 8, 2023

Move `≡-setoid` to `Function.Indexed.Relation.Binary.Equality`
Saransh-cpp
committed

Commits on Aug 20, 2023