{"repository":{"owner":"toothbrush","description":"Let's try and do scope and type checking in Agda","has_downloads":true,"pushed_at":"2012-08-02T09:18:19-07:00","forks":1,"language":"Haskell","created_at":"2012-04-13T09:23:05-07:00","watchers":1,"fork":false,"size":676,"has_wiki":true,"private":false,"homepage":"","open_issues":0,"has_issues":true},"actor_attributes":{"type":"User","location":"Portugal","name":"Paul","blog":"http://denknerd.org","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/toothbrush/type-safe-metaprogramming/compare/3e0f4ee22d...dc76edbc2c"}