{"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":11,"stargazers":11,"forks":2,"fork":false,"size":9842,"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-10-17T08:28:29-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Aistis Raulinaitis","company":"Data Scientist & Language Architect","location":"Orange, CA","email":"d3e11a9b4c7db64b711a83cbbd036d728660857d@gmail.com"},"url":"https://github.com/toothbrush/reflection-proofs"}