{"push_id":582108259,"size":1,"distinct_size":1,"ref":"refs/heads/fix_translatorLib","head":"58110b9a4d8502ec4633b2a4f93e06158cf68bea","before":"4d734830fcbeb86fc610a2a36107f163a89ec7ca","commits":[{"sha":"58110b9a4d8502ec4633b2a4f93e06158cf68bea","author":{"email":"7cb4acede6a8d5e8f6e900e4a5c0806ffd147e70@cl.cam.ac.uk","name":"Magnus Myreen"},"message":"got rid of list_lemma() and pair_lemma()","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/58110b9a4d8502ec4633b2a4f93e06158cf68bea"}]}