search

agda / agda-stdlib

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

Add some type relations and isomorphisms #2419

Open WhatisRT opened 1 week ago

WhatisRT commented 1 week ago

Upstreaming some functions that I've used to prove things about sets (not the Agda kind).

MatthewDaggitt commented 1 week ago

Ah, and a CHANGELOG entry would be great!

WhatisRT commented 1 week ago

I'll add the CHANGELOG once 2.1 is out.