search

agda / agda-stdlib

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

Add `Relation.Nullary.Recomputable.irrelevant-recompute` #2497

Closed jamesmckinna closed 3 weeks ago

jamesmckinna commented 3 weeks ago

Fixes #2495 using @fredrikNordvallForsberg 's solution there.