{"push_id":543083972,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a2ee3d133ae25f55a3f6c4ae3dc7368739d79e80","before":"6311b19ad799b6a5459cc75190a325f54880dea3","commits":[{"sha":"a2ee3d133ae25f55a3f6c4ae3dc7368739d79e80","author":{"email":"5224f52133b27c18eb8c15e227f97463a13cd9b4@imperial.ac.uk","name":"James Smith"},"message":"Fixed a bug to do with single line comments. Some small amends. The zero and reflexivity axioms are now proved.","distinct":true,"url":"https://api.github.com/repos/jecs-imperial/Florence/commits/a2ee3d133ae25f55a3f6c4ae3dc7368739d79e80"}]}