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