aboutsummaryrefslogblamecommitdiff
path: root/math/hs-groupoids/distinfo
blob: 6ed86ea9df966ccee9cde51c63e29111f30d4e36 (plain) (tree)
1
2