{"push_id":766753182,"size":1,"distinct_size":1,"ref":"refs/heads/new_compiler","head":"bae7df29456fe28a4049d52098a9acd385251e98","before":"0e895da88d725576cdb67b9c32c8b261e088b6eb","commits":[{"sha":"bae7df29456fe28a4049d52098a9acd385251e98","author":{"email":"7cb4acede6a8d5e8f6e900e4a5c0806ffd147e70@cl.cam.ac.uk","name":"Magnus Myreen"},"message":"complete implementation of lab-to-target compiler","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/bae7df29456fe28a4049d52098a9acd385251e98"}]}