{"push_id":556836866,"size":2,"distinct_size":2,"ref":"refs/heads/2014","head":"ad3b7cfd64d7c8e9e2def878a228fd89129c04fd","before":"3aa7db49b349cd8b5b146a34f5e03c7a605590cc","commits":[{"sha":"2398528bf688bd0592c93e14c1a976c296d77c4a","author":{"email":"2a6f7b63e3187e02fe56ea001850ed207665f5e9@cis.upenn.edu","name":"Stephanie Weirich"},"message":"updating to Control.Monad.Except","distinct":true,"url":"https://api.github.com/repos/sweirich/pi-forall/commits/2398528bf688bd0592c93e14c1a976c296d77c4a"},{"sha":"ad3b7cfd64d7c8e9e2def878a228fd89129c04fd","author":{"email":"2a6f7b63e3187e02fe56ea001850ed207665f5e9@cis.upenn.edu","name":"Stephanie Weirich"},"message":"better treatment of impossible cases","distinct":true,"url":"https://api.github.com/repos/sweirich/pi-forall/commits/ad3b7cfd64d7c8e9e2def878a228fd89129c04fd"}]}