{"push_id":2300148162,"size":4,"distinct_size":1,"ref":"refs/heads/develop","head":"0eab6e5be11b889d5e2c83190594161120542c74","before":"5b755e802b6e2ff3a3fb0bea8eba4452001a1374","commits":[{"sha":"3d988a6747df43b4e7ebfc1de8298fe722e7b00d","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"refactor isDict consgen","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/3d988a6747df43b4e7ebfc1de8298fe722e7b00d"},{"sha":"286d1336d313a375cd64445b1a5b37f63b6cdc16","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"dont strengthen Ctors with isPredType args (generalize isClass)","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/286d1336d313a375cd64445b1a5b37f63b6cdc16"},{"sha":"bbf933bbaf34b0ca73e0098baa3bea9cd3bf4ba0","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"dont shuffle the binders, silly.","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/bbf933bbaf34b0ca73e0098baa3bea9cd3bf4ba0"},{"sha":"0eab6e5be11b889d5e2c83190594161120542c74","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"Merge pull request #1231 from ucsd-progsys/gadt\n\nDrop binders with PredTy from DataCtors","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/0eab6e5be11b889d5e2c83190594161120542c74"}]}
{"actor":{"display_login":"ranjitjhala"}}