{"repository":{"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.","homepage":"http://wiki.portal.chalmers.se/agda/agda.php?n=Main.Version-2-2-8","watchers":8,"stargazers":8,"forks":1,"fork":false,"size":11188,"owner":"toothbrush","private":false,"open_issues":0,"has_issues":false,"has_downloads":true,"has_wiki":false,"language":"Shell","created_at":"2012-04-05T04:05:17-07:00","pushed_at":"2013-03-15T09:23:32-07:00","master_branch":"master"},"actor_attributes":{"type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/dqviet/reflection-proofs"}