{"push_id":589609836,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d6f9499c08e955be04360d108305b183e3e63dd4","before":"37ef9bb83dbe0ab9dbbba2b813d9c1c65bdfdc3c","commits":[{"sha":"d6f9499c08e955be04360d108305b183e3e63dd4","author":{"email":"f142f7889c110a9866577a24b7fe4cfc4d2348af@gmail.com","name":"João Paulo Pizani Flor"},"message":"Finally defined indexed EqReasoning and the instance of indexed EqReasoning for our _⟦⟧_","distinct":true,"url":"https://api.github.com/repos/joaopizani/piware-agda/commits/d6f9499c08e955be04360d108305b183e3e63dd4"}]}