{"push_id":3053570086,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"6eaea43b923f26f6465e0294db229ea20216c0cd","before":"02845cfff575fe533158f5dd7db564ddd94f187b","commits":[{"sha":"8b4472d80cc14a219ffe99dbfb5713d1122ab029","author":{"name":"Stephen Chang","email":"e8d3bd4b4b40fae06c8225125fbe8ba3d8045c31@ccs.neu.edu"},"message":"HISTORY.rkt -> HISTORY.txt","distinct":true,"url":"https://api.github.com/repos/stchang/macrotypes/commits/8b4472d80cc14a219ffe99dbfb5713d1122ab029"},{"sha":"6eaea43b923f26f6465e0294db229ea20216c0cd","author":{"name":"Stephen Chang","email":"e8d3bd4b4b40fae06c8225125fbe8ba3d8045c31@ccs.neu.edu"},"message":"turnstile-lib: disallow lone ids on lhs of ⊢ premise\n\n- improve err msgs for `rule` and `clause`; add actual turnstile tests\n- begins to address #72\n- bump to v0.3.3","distinct":true,"url":"https://api.github.com/repos/stchang/macrotypes/commits/6eaea43b923f26f6465e0294db229ea20216c0cd"}]}
{"actor":{"display_login":"stchang"}}