search

agda / agda-stdlib

The Agda standard library
https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary
Other
561 stars 234 forks source link

Generalise `Data.Product.Relation.Binary.Pointwise.NonDependent.Pointwise` #2401

Closed jamesmckinna closed 4 weeks ago

jamesmckinna commented 4 weeks ago

Fixes #906