{"push_id":1431209959,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"244e58f5417cd976561bab04b785bdab91833694","before":"eebcd40cee873bfbd39d62cd9b017418767ea749","commits":[{"sha":"244e58f5417cd976561bab04b785bdab91833694","author":{"name":"Eoin Houlihan","email":"9f1c2d0ac8ce9062f3684d416ce2df5fee3991a4@tcd.ie"},"message":"Some progress made in fixing the polymorphism example\n\nListStuff now has a different name for the type it accepts\nThis means the implicit name in the Cons case is elem1 and not elem\nThis allows both elem and elem1 to be in scope at the same time\nAlso, make the equal proof function more general","distinct":true,"url":"https://api.github.com/repos/houli/FYP-playground/commits/244e58f5417cd976561bab04b785bdab91833694"}]}
{"actor":{"display_login":"houli"}}