issues
search
pufferffish
/
agda-symmetries
MIT License
5
stars
1
forks
source link
Define isomorphism from Bag to CList
#68
Closed
pufferffish
closed
7 months ago
pufferffish
commented
8 months ago
Blocked on #66
Blocked on #66