{"push_id":567379711,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"f049181987b7ad88764a2df9d7a32c72d46cca17","before":"51c308ccd8c899eb5cfbbfe2b5e06d365b00e0df","commits":[{"sha":"aa059a1ae9c096f6ff09bc53878f04d5cceedc56","author":{"email":"873f4fbdd9c1e4224437af6cbc9b100b38fe6074@inria.fr","name":"Marek Materzok"},"message":"Implemented recursive function expressions.","distinct":true,"url":"https://api.github.com/repos/tilk/LambdaCert/commits/aa059a1ae9c096f6ff09bc53878f04d5cceedc56"},{"sha":"4707d283dede666465e0f3d20ce25d483ef5fcea","author":{"email":"873f4fbdd9c1e4224437af6cbc9b100b38fe6074@inria.fr","name":"Marek Materzok"},"message":"Implemented \"new\" in desugaring.","distinct":true,"url":"https://api.github.com/repos/tilk/LambdaCert/commits/4707d283dede666465e0f3d20ce25d483ef5fcea"},{"sha":"f049181987b7ad88764a2df9d7a32c72d46cca17","author":{"email":"873f4fbdd9c1e4224437af6cbc9b100b38fe6074@inria.fr","name":"Marek Materzok"},"message":"Switch statement support in desugaring.","distinct":true,"url":"https://api.github.com/repos/tilk/LambdaCert/commits/f049181987b7ad88764a2df9d7a32c72d46cca17"}]}