{"push_id":573266826,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"4235f8c279e5cd4e9053a2794d409edaf3360002","before":"7486b59b357d3f4e59309a056fd73882722bf8eb","commits":[{"sha":"c570400fa190dbb02118c0c253dcd26d5b861a0a","author":{"email":"6df6e3221f0f7cc04c8ac2c9365b538dd029ee83@freerunningtechnologies.com","name":"Dylan Kendal"},"message":"replaces implications, handles ! as a unaray operator","distinct":true,"url":"https://api.github.com/repos/Dkendal/csc_421_assignment2/commits/c570400fa190dbb02118c0c253dcd26d5b861a0a"},{"sha":"4235f8c279e5cd4e9053a2794d409edaf3360002","author":{"email":"6df6e3221f0f7cc04c8ac2c9365b538dd029ee83@freerunningtechnologies.com","name":"Dylan Kendal"},"message":"recursively expand implication and equivalence","distinct":true,"url":"https://api.github.com/repos/Dkendal/csc_421_assignment2/commits/4235f8c279e5cd4e9053a2794d409edaf3360002"}]}