{"repository":{"description":"Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic","homepage":"","watchers":0,"stargazers":0,"forks":0,"fork":true,"size":220,"owner":"swannodette","private":false,"open_issues":0,"has_issues":false,"has_downloads":true,"has_wiki":true,"language":"Scheme","created_at":"2012-12-12T09:58:41-08:00","pushed_at":"2013-02-27T09:44:35-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"David Nolen","blog":"http://dosync.posterous.com","location":"New York","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/swannodette/TAPL-in-miniKanren-cKanren-core.logic/compare/8f4fc30b87...dc45fdc606"}