{"push_id":977082631,"size":3,"distinct_size":3,"ref":"refs/heads/issue-52","head":"9ae2e0cb1503107115a0e54e7ed41d70016a2b8a","before":"409df17412e570adbd8d2caeda7c94973b7ab2cd","commits":[{"sha":"04d4b85c3a44625fe37b60b8420ad5cd74e24202","author":{"email":"44f878afe53efc66b76772bd845eb65944ed8232@jonmsterling.com","name":"Jonathan Sterling"},"message":"Hack nominal-lcf elaborator to share bound syms & vars","distinct":true,"url":"https://api.github.com/repos/JonPRL/sml-red-jonprl/commits/04d4b85c3a44625fe37b60b8420ad5cd74e24202"},{"sha":"afc3cb1a57add890a212719d929f40abd6d37827","author":{"email":"44f878afe53efc66b76772bd845eb65944ed8232@jonmsterling.com","name":"Jonathan Sterling"},"message":"Fix HypEq rule","distinct":true,"url":"https://api.github.com/repos/JonPRL/sml-red-jonprl/commits/afc3cb1a57add890a212719d929f40abd6d37827"},{"sha":"9ae2e0cb1503107115a0e54e7ed41d70016a2b8a","author":{"email":"44f878afe53efc66b76772bd845eb65944ed8232@jonmsterling.com","name":"Jonathan Sterling"},"message":"update example","distinct":true,"url":"https://api.github.com/repos/JonPRL/sml-red-jonprl/commits/9ae2e0cb1503107115a0e54e7ed41d70016a2b8a"}]}