{"push_id":551832893,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"d422acfd3076d678bc0da216927a660f826177c5","before":"02e2369ca128bcc8e09cf2d831b80fbb858ee633","commits":[{"sha":"6d258007393e78304dfe4e9286200264a94c5593","author":{"email":"3837be4cf9c7b2f1fbd2d4ea37daa157f9fffc23@logos.com","name":"Scott Fleischman"},"message":"Continue work on equality proofs.","distinct":true,"url":"https://api.github.com/repos/scott-fleischman/agda-tutorial-exercises/commits/6d258007393e78304dfe4e9286200264a94c5593"},{"sha":"d422acfd3076d678bc0da216927a660f826177c5","author":{"email":"3837be4cf9c7b2f1fbd2d4ea37daa157f9fffc23@logos.com","name":"Scott Fleischman"},"message":"Continue attempt to finish equality proofs.","distinct":true,"url":"https://api.github.com/repos/scott-fleischman/agda-tutorial-exercises/commits/d422acfd3076d678bc0da216927a660f826177c5"}]}