{"head":"0138da810fed853cd346038dd2e88df0113018e8","size":3,"push_id":46377082,"commits":[{"sha":"1c8e7dd90bdb1967124826877213e2099aeb5e59","author":{"name":"Rob Simmons","email":"733faa0bb9d8ffd0b02b15027d7e7458ddbb4477@gmail.com"},"url":"https://api.github.com/repos/robsimmons/l10/commits/1c8e7dd90bdb1967124826877213e2099aeb5e59","message":"Make syntax.sml include types for reconstructed terms; this makes it possible for all syntax to 'locally' synthesize its type"},{"sha":"7c45ea11d4d8009be8566069deef530ff8fc5719","author":{"name":"Rob Simmons","email":"733faa0bb9d8ffd0b02b15027d7e7458ddbb4477@gmail.com"},"url":"https://api.github.com/repos/robsimmons/l10/commits/7c45ea11d4d8009be8566069deef530ff8fc5719","message":"Fix parser and tables to accept new type-annotated syntax"},{"sha":"0138da810fed853cd346038dd2e88df0113018e8","author":{"name":"Rob Simmons","email":"733faa0bb9d8ffd0b02b15027d7e7458ddbb4477@gmail.com"},"url":"https://api.github.com/repos/robsimmons/l10/commits/0138da810fed853cd346038dd2e88df0113018e8","message":"Checking just enormously simple declarations; going to try to push that through and then push forward."}],"ref":"refs/heads/master","legacy":{"head":"0138da810fed853cd346038dd2e88df0113018e8","size":3,"push_id":46377082,"shas":[["1c8e7dd90bdb1967124826877213e2099aeb5e59","robsimmons@gmail.com","Make syntax.sml include types for reconstructed terms; this makes it possible for all syntax to 'locally' synthesize its type","Rob Simmons"],["7c45ea11d4d8009be8566069deef530ff8fc5719","robsimmons@gmail.com","Fix parser and tables to accept new type-annotated syntax","Rob Simmons"],["0138da810fed853cd346038dd2e88df0113018e8","robsimmons@gmail.com","Checking just enormously simple declarations; going to try to push that through and then push forward.","Rob Simmons"]],"ref":"refs/heads/master"}}