{"push_id":813798211,"size":2,"distinct_size":1,"ref":"refs/heads/master","head":"e32dddd60c2f3c510f4c158b9414b6d8cd1e7d42","before":"621911289dcbba6b25d52fc9092b40d67477a754","commits":[{"sha":"3724c8b707887e075c556e3340c0dce28f48066c","author":{"email":"e54d0d0239026d4e7a3a928d07ae0460b3e0d0ba@banno.com","name":"Brian Hartin"},"message":"Adding propositions-as-types paper","distinct":false,"url":"https://api.github.com/repos/adamdecaf/strangeloop-2015/commits/3724c8b707887e075c556e3340c0dce28f48066c"},{"sha":"e32dddd60c2f3c510f4c158b9414b6d8cd1e7d42","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@ashannon.us","name":"Adam Shannon"},"message":"Merge pull request #1 from adamdecaf/wadler-paper\n\nAdding propositions-as-types paper","distinct":true,"url":"https://api.github.com/repos/adamdecaf/strangeloop-2015/commits/e32dddd60c2f3c510f4c158b9414b6d8cd1e7d42"}]}