{"repository":{"owner":"toothbrush","pushed_at":"2012-09-22T14:02:51-07:00","forks":0,"has_downloads":true,"homepage":"http://wiki.portal.chalmers.se/agda/agda.php?n=Main.Version-2-2-8","language":"Haskell","stargazers":2,"fork":false,"size":4824,"has_wiki":false,"description":"Playing around with reflection in Agda. Since version 2.2.8 we have simple quoting and unquoting, and it turns out you can do some pretty cool shit with reflection.","watchers":2,"private":false,"created_at":"2012-04-05T04:05:17-07:00","open_issues":0,"has_issues":false},"actor_attributes":{"name":"Paul","type":"User","location":"Portugal","blog":"https://denknerd.org","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/toothbrush/reflection-proofs/compare/4042a87bb7...e8ff5b2ccd"}