{"push_id":660765987,"size":2,"distinct_size":2,"ref":"refs/heads/gh-pages","head":"5489bc8dafe8874495d2e87c62dcc2be15b7b4b1","before":"5b5bdba42e5be0b5bb9c869671d0d2df19bcbee2","commits":[{"sha":"a7bba2c7b3e5fe68c532bd132ae924dfb242aae6","author":{"email":"813012224052d2fe8512ca6b190713ff13a92e58@gmail.com","name":"Wouter Swierstra"},"message":"Adde Bool.agda; added description of what we expect in the paper presentations.","distinct":true,"url":"https://api.github.com/repos/wouter-swierstra/TPT-2014/commits/a7bba2c7b3e5fe68c532bd132ae924dfb242aae6"},{"sha":"5489bc8dafe8874495d2e87c62dcc2be15b7b4b1","author":{"email":"813012224052d2fe8512ca6b190713ff13a92e58@gmail.com","name":"Wouter Swierstra"},"message":"Merged","distinct":true,"url":"https://api.github.com/repos/wouter-swierstra/TPT-2014/commits/5489bc8dafe8874495d2e87c62dcc2be15b7b4b1"}]}