{"push_id":593166968,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"2e6bd5e0ea9ddbe7208f854a5360a818a39fb206","before":"a3cc5fb88962f4a662a4e89f0b665e90eeecf649","commits":[{"sha":"a94db293fc090fc9d4ebac57614f7fc26558f9b5","author":{"email":"ed57efe480f87e93bd226fe3076281772c3f600a@indiana.edu","name":"Andrew Kent"},"message":"removing bugs, 1 left?\n\nstill have 1 bug left after adding vanilla dependent types: “Type\nChecker: Inference for polymorphic keyword functions not supported”","distinct":true,"url":"https://api.github.com/repos/andmkent/typed-racket/commits/a94db293fc090fc9d4ebac57614f7fc26558f9b5"},{"sha":"2e6bd5e0ea9ddbe7208f854a5360a818a39fb206","author":{"email":"ed57efe480f87e93bd226fe3076281772c3f600a@indiana.edu","name":"Andrew Kent"},"message":"bug gone, slow tests","distinct":true,"url":"https://api.github.com/repos/andmkent/typed-racket/commits/2e6bd5e0ea9ddbe7208f854a5360a818a39fb206"}]}