issues
search
pufferffish
/
agda-symmetries
MIT License
5
stars
1
forks
source link
Rewrite PermRelation with Relation.Binary
#62
Closed
pufferffish
closed
8 months ago
pufferffish
commented
8 months ago
Related to #54
vikraman
commented
8 months ago
Closed in #63
Related to #54