{"push_id":677817346,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"00962e7adcc345afdcd121e9846af3c98f1a391d","before":"8cd4fd319b7aabc36959382f8a4ae73a6fde394e","commits":[{"sha":"00962e7adcc345afdcd121e9846af3c98f1a391d","author":{"email":"02bb38680ed0a8dd78c2bdcd27c380c905913d0a@gmail.com","name":"Victor Miraldo"},"message":"Added eta-reduction prior to unification","distinct":true,"url":"https://api.github.com/repos/VictorCMiraldo/agda-rw/commits/00962e7adcc345afdcd121e9846af3c98f1a391d"}]}