{"repository":{"owner":"bobatkey","created_at":"2012-05-08T06:00:08-07:00","watchers":1,"has_wiki":true,"open_issues":0,"pushed_at":"2012-07-14T11:19:14-07:00","forks":1,"fork":false,"size":1240,"has_issues":true,"description":"Repository for documents and experiments to do with algebraically-indexed types","private":false,"has_downloads":true,"language":"Coq"},"actor_attributes":{"location":"Edinburgh, UK","name":"Bob Atkey","blog":"http://personal.cis.strath.ac.uk/~raa","type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/bobatkey/algebraically-indexed-types/compare/7f030c375f...ba73e059ae"}