{"push_id":576248470,"size":1,"distinct_size":1,"ref":"refs/heads/icfp2015-paper","head":"568dcd608b03235ce0e2585c43a5b6e6fcf2059c","before":"f55ee9a3f4441c3ef54ffc169c562f9fd1fe669a","commits":[{"sha":"568dcd608b03235ce0e2585c43a5b6e6fcf2059c","author":{"email":"f142f7889c110a9866577a24b7fe4cfc4d2348af@gmail.com","name":"João Paulo Pizani Flor"},"message":"Fixed most issues in Patterns/Core. Still have row' and Patterns","distinct":true,"url":"https://api.github.com/repos/joaopizani/piware-agda/commits/568dcd608b03235ce0e2585c43a5b6e6fcf2059c"}]}