search

agda / agda-stdlib

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

Lists: decidability of Subset+Disjoint relations #2399

Closed omelkonian closed 1 month ago

jamesmckinna commented 1 month ago

Some minor gripes and nitpicks (mostly style-guide related) ahead of a proper review, but looks great otherwise... ... apart from the need forCHANGELOG entries