{"repository":{"language":"Scheme","description":"Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic","owner":"namin","has_issues":true,"has_downloads":true,"fork":true,"size":248,"pushed_at":"2013-01-07T09:14:00-08:00","watchers":5,"forks":1,"open_issues":0,"created_at":"2012-11-21T12:18:27-08:00","homepage":"","private":false,"has_wiki":true,"stargazers":5},"actor_attributes":{"email":"65ebdba617161c39b24b5a797c738a0ac09d8c97@alum.mit.edu","company":"","type":"User","name":"Nada Amin","blog":"http://namin.net"},"url":"https://github.com/namin/TAPL-in-miniKanren-cKanren-core.logic/compare/43f065dde4...2b058294d9"}