{"push_id":766953712,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"788f95ea55b9afd3d2def3c0b2b7003d33229eb2","before":"2787e0a4b3872c9c08d4eb7018cfd925225be98d","commits":[{"sha":"37e6ac9e5be6a6bf8597acc7a11214075847bb80","author":{"email":"8020eee298bb221c9d47276b1b412e8df6fde11b@gmail.com","name":"Matthew Fluet"},"message":"Add array special case to defn of type structure respects equality\n\nLike 'ref', the 'array' type name should cause a type structure to\nrespect equality.","distinct":true,"url":"https://api.github.com/repos/SMLFamily/Proposed-Definition-of-Successor-ML/commits/37e6ac9e5be6a6bf8597acc7a11214075847bb80"},{"sha":"788f95ea55b9afd3d2def3c0b2b7003d33229eb2","author":{"email":"4cab72e3cf0d9305e07aa2b7a5ccadb10f66975a@users.noreply.github.com","name":"John Reppy"},"message":"Merge pull request #2 from MatthewFluet/array-type-str-resp-eq\n\nAdd array special case to defn of type structure respects equality","distinct":true,"url":"https://api.github.com/repos/SMLFamily/Proposed-Definition-of-Successor-ML/commits/788f95ea55b9afd3d2def3c0b2b7003d33229eb2"}]}