{"push_id":2701416969,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"c8e7f6f5f7fe9968f527357002d496458b5e07b1","before":"a8061f266ece6b3354a5f597d6bdbba4853f791d","commits":[{"sha":"71a51942f08833c2f82f098c8f9f9ffb86db1e87","author":{"name":"Joachim Breitner","email":"1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@joachim-breitner.de"},"message":"Show that isJoinPointsValid implies an NCore pre-image\n\nthis allows us to move from reasoning about `CoreExpr` with invariants\nto reasoning about `NCore`.","distinct":true,"url":"https://api.github.com/repos/antalsz/hs-to-coq/commits/71a51942f08833c2f82f098c8f9f9ffb86db1e87"},{"sha":"c8e7f6f5f7fe9968f527357002d496458b5e07b1","author":{"name":"Joachim Breitner","email":"1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@joachim-breitner.de"},"message":"More on top_go_WellScoped","distinct":true,"url":"https://api.github.com/repos/antalsz/hs-to-coq/commits/c8e7f6f5f7fe9968f527357002d496458b5e07b1"}]}
{"actor":{"display_login":"nomeata"}}