{"push_id":614670592,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1efbbed7d352031fa794bc5c7e9cf4ce4bf3fb0e","before":"0c871d3e413cb44b4cf3902b61d2b779177ec5f6","commits":[{"sha":"1efbbed7d352031fa794bc5c7e9cf4ce4bf3fb0e","author":{"email":"5d35cd41f960e37ddb62259634d1699f557481ee@txstate.edu","name":"Stuart Olsen"},"message":"Symmetry of type equality","distinct":true,"url":"https://api.github.com/repos/sjolsen/HindleyMilner/commits/1efbbed7d352031fa794bc5c7e9cf4ce4bf3fb0e"}]}