issues
search
pufferffish
/
agda-symmetries
MIT License
5
stars
1
forks
source link
Free symmetric monoidal groupoid on groupoids
#43
Open
pufferffish
opened
10 months ago
pufferffish
commented
10 months ago
Might be useful for defining SList is Free later on
Might be useful for defining SList is Free later on