{"repository":{"created_at":"2012-07-31T19:56:11-07:00","owner":"liamoc","open_issues":0,"has_issues":true,"pushed_at":"2012-09-24T07:00:36-07:00","forks":0,"has_downloads":true,"fork":false,"size":1148,"stargazers":1,"private":false,"has_wiki":true,"description":"Formalisation of The GHC Team's OutsideIn(X) in Agda.","watchers":1},"actor_attributes":{"company":"","name":"Liam O'Connor","blog":"http://liamoc.net","type":"User","email":"58e34d62b2f1b1172de56e3ed269bca4d9978c82@cse.unsw.edu.au","location":"Australia"},"url":"https://github.com/liamoc/outside-in/compare/7272308a86...7ed942b742"}