{"push_id":2389140786,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"d9923b226596a3f0174d889fe4cb59f03669e940","before":"14cd892e9b6e9df9db96f832fdca67d55e1d54c8","commits":[{"sha":"10cacf14fe342662d44467a7a66437537f5301d2","author":{"name":"JohnWCartmell","email":"550daf3e00494a347c9dd5121e29c1d8bdf21b2f@users.noreply.github.com"},"message":"More bug fixing of specialisation and 2diamonds.","distinct":true,"url":"https://api.github.com/repos/JohnWCartmell/Algebra/commits/10cacf14fe342662d44467a7a66437537f5301d2"},{"sha":"d9923b226596a3f0174d889fe4cb59f03669e940","author":{"name":"JohnWCartmell","email":"550daf3e00494a347c9dd5121e29c1d8bdf21b2f@users.noreply.github.com"},"message":"Rewrite rules 2s and 3s revised to 2sv2 and 2sv3\n\nMaking for more confluence in the rule set. Discussion: this might be relevant as a cut down example conatining just a seq version of the theory of categories.","distinct":true,"url":"https://api.github.com/repos/JohnWCartmell/Algebra/commits/d9923b226596a3f0174d889fe4cb59f03669e940"}]}
{"actor":{"display_login":"JohnWCartmell"}}