{"repository":{"created_at":"2012-09-16T19:31:02-07:00","owner":"sordina","has_wiki":true,"pushed_at":"2012-10-09T00:05:51-07:00","forks":0,"open_issues":1,"watchers":0,"fork":false,"size":5528,"has_downloads":true,"stargazers":0,"private":false,"has_issues":true,"description":"Source for my Agda Presentation to the Perth Functional Programmers Group"},"actor_attributes":{"email":"0cdcfc4baf79a2b50d5aba77b4024e226aa80a35@sordina.net","location":"Perth, Western Australia","type":"User","company":"Sordina Productions","blog":"http://sordina.net","name":"Lyndon Maydwell"},"url":"https://github.com/sordina/PerthFP-Agda-Presentation/compare/2bcc997e30...8b054b6983"}