{"head":"8ea44e31182eb0e9c8c6a162db7dc158fffea9fe","size":4,"push_id":47656445,"commits":[{"sha":"be5cdd9c961a6963b645b06f256c89a179be66d2","author":{"name":"Rob Simmons","email":"733faa0bb9d8ffd0b02b15027d7e7458ddbb4477@gmail.com"},"url":"https://api.github.com/repos/robsimmons/l10/commits/be5cdd9c961a6963b645b06f256c89a179be66d2","message":"Almost get worlds working with new cmlib"},{"sha":"e298418469816430861127df490484a9d2e48820","author":{"name":"Rob Simmons","email":"733faa0bb9d8ffd0b02b15027d7e7458ddbb4477@gmail.com"},"url":"https://api.github.com/repos/robsimmons/l10/commits/e298418469816430861127df490484a9d2e48820","message":"Fix refinement errors (they weren't terribly relevent, but free variable analysis only need be done on typed terms)"},{"sha":"3d421b2e76e1dc7c980f559e0e3b9ae0e90fbd70","author":{"name":"Rob Simmons","email":"733faa0bb9d8ffd0b02b15027d7e7458ddbb4477@gmail.com"},"url":"https://api.github.com/repos/robsimmons/l10/commits/3d421b2e76e1dc7c980f559e0e3b9ae0e90fbd70","message":"formatting in syntax.sml"},{"sha":"8ea44e31182eb0e9c8c6a162db7dc158fffea9fe","author":{"name":"Rob Simmons","email":"733faa0bb9d8ffd0b02b15027d7e7458ddbb4477@gmail.com"},"url":"https://api.github.com/repos/robsimmons/l10/commits/8ea44e31182eb0e9c8c6a162db7dc158fffea9fe","message":"Cleanup formatting"}],"ref":"refs/heads/master","legacy":{"head":"8ea44e31182eb0e9c8c6a162db7dc158fffea9fe","size":4,"push_id":47656445,"shas":[["be5cdd9c961a6963b645b06f256c89a179be66d2","robsimmons@gmail.com","Almost get worlds working with new cmlib","Rob Simmons"],["e298418469816430861127df490484a9d2e48820","robsimmons@gmail.com","Fix refinement errors (they weren't terribly relevent, but free variable analysis only need be done on typed terms)","Rob Simmons"],["3d421b2e76e1dc7c980f559e0e3b9ae0e90fbd70","robsimmons@gmail.com","formatting in syntax.sml","Rob Simmons"],["8ea44e31182eb0e9c8c6a162db7dc158fffea9fe","robsimmons@gmail.com","Cleanup formatting","Rob Simmons"]],"ref":"refs/heads/master"}}