{"push_id":682818045,"size":5,"distinct_size":5,"ref":"refs/heads/PROPs","head":"2a708479db89dd5cac7f430c103acdef44824f8f","before":"6a21ae2c58388212f19c301768b912bc0d8856af","commits":[{"sha":"4a0cfb6628763c86d6cdc8f7a33a511d2b61d01a","author":{"email":"6ed452734e05f476dcb27611d798f6c1f2e74de0@gmail.com","name":"Edward Kmett"},"message":"Start adding the symmetric groupoid. Rearrange language pragmas","distinct":true,"url":"https://api.github.com/repos/ekmett/multicategories/commits/4a0cfb6628763c86d6cdc8f7a33a511d2b61d01a"},{"sha":"6eace50d5d894359dd1d52c53c8bf1c3e00beb80","author":{"email":"6ed452734e05f476dcb27611d798f6c1f2e74de0@gmail.com","name":"Edward Kmett"},"message":"flip swap","distinct":true,"url":"https://api.github.com/repos/ekmett/multicategories/commits/6eace50d5d894359dd1d52c53c8bf1c3e00beb80"},{"sha":"f4e8a26f2722c2f508b4086c2a5b81436671d5ee","author":{"email":"6ed452734e05f476dcb27611d798f6c1f2e74de0@gmail.com","name":"Edward Kmett"},"message":"Gave props to PROP. Started a real symmetric groupoid, so we can use that rather than just talk about its generators","distinct":true,"url":"https://api.github.com/repos/ekmett/multicategories/commits/f4e8a26f2722c2f508b4086c2a5b81436671d5ee"},{"sha":"60bd846ff7669d54799a035b9a92397a8b1f1447","author":{"email":"6ed452734e05f476dcb27611d798f6c1f2e74de0@gmail.com","name":"Edward Kmett"},"message":"added aliases for FinBool and FinSet","distinct":true,"url":"https://api.github.com/repos/ekmett/multicategories/commits/60bd846ff7669d54799a035b9a92397a8b1f1447"},{"sha":"2a708479db89dd5cac7f430c103acdef44824f8f","author":{"email":"6ed452734e05f476dcb27611d798f6c1f2e74de0@gmail.com","name":"Edward Kmett"},"message":"PRO (Dual p), PROP (Dual p)","distinct":true,"url":"https://api.github.com/repos/ekmett/multicategories/commits/2a708479db89dd5cac7f430c103acdef44824f8f"}]}