{"head":"ec9bef72652484fb1a68541cd453e8964d66f0c8","size":1,"push_id":46233071,"ref":"refs/heads/master","commits":[{"sha":"ec9bef72652484fb1a68541cd453e8964d66f0c8","author":{"name":"Pawel Wieczorek","email":"f8f967f432b260af8030e3db6cdc3147dabcd298@gmail.com"},"url":"https://api.github.com/repos/wjzz/agda-DTP-examples/commits/ec9bef72652484fb1a68541cd453e8964d66f0c8","message":" * exercises: fix, added funsplit for eta-conversion"}],"legacy":{"head":"ec9bef72652484fb1a68541cd453e8964d66f0c8","size":1,"push_id":46233071,"shas":[["ec9bef72652484fb1a68541cd453e8964d66f0c8","wieczyk@gmail.com"," * exercises: fix, added funsplit for eta-conversion","Pawel Wieczorek"]],"ref":"refs/heads/master"}}