{"shas":[["6a50dafac96804e167d40bf5dcffecae3089b56c","4984d0287ebaa082ab760cf439202698ff6d81b1@yahoo.com","progress on dynamic semantics","Daniel Huang"]],"ref":"refs/heads/master","size":1,"head":"6a50dafac96804e167d40bf5dcffecae3089b56c","push_id":37594971}