Equality of functions in the new function hierarchy
Taneb opened this issue · comments
As a counterpart to the now-deprecated Function.Equality.setoid.
Briefly discussed previously in #1467 (comment)
agda / agda-stdlib
The Agda standard library
https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary