{"push_id":810587061,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2b4fea8d5ade0110774ae0458f7d88b6d4c6cbe3","before":"fbc7de323d46b81ccdaa8c4808d342bdb22ca17e","commits":[{"sha":"2b4fea8d5ade0110774ae0458f7d88b6d4c6cbe3","author":{"email":"b85717407c4c0564032c141eb8784574904f48da@gmail.com","name":"liu fengyun"},"message":"WIP preservation of system F proved","distinct":true,"url":"https://api.github.com/repos/liufengyun/typed-closure/commits/2b4fea8d5ade0110774ae0458f7d88b6d4c6cbe3"}]}