{"repository":{"watchers":2,"owner":"aristidb","pushed_at":"2012-12-28T09:07:56-08:00","description":"Understanding lenses with the help of Agda","stargazers":2,"forks":0,"has_issues":true,"has_downloads":true,"fork":false,"size":192,"created_at":"2012-12-26T15:52:53-08:00","open_issues":0,"has_wiki":true,"private":false},"actor_attributes":{"company":"","name":"Jonathan Fischoff","type":"User","blog":"www.takeittothelimit.wordpress.com","email":"3272274da46a4afca90a3d2e8b00af0ccbf0a38e@yahoo.com","location":"San Mateo (San Francisco)"},"url":"https://github.com/aristidb/lens-agda"}