{"repository":{"homepage":"http://wiki.portal.chalmers.se/agda/agda.php?n=Main.Version-2-2-8","stargazers":2,"language":"Haskell","owner":"toothbrush","open_issues":0,"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.","created_at":"2012-04-05T04:05:17-07:00","has_downloads":true,"fork":false,"size":11871,"pushed_at":"2012-10-01T07:36:09-07:00","forks":0,"watchers":2,"private":false,"has_issues":false,"has_wiki":false},"actor_attributes":{"type":"User","location":"France","name":"Paul","blog":"https://denknerd.org","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/toothbrush/reflection-proofs/compare/9ae023697b...aaa624b1e1"}