{"repository":{"has_wiki":true,"owner":"pi8027","language":"Coq","description":"","watchers":0,"stargazers":0,"fork":false,"size":264,"open_issues":0,"has_issues":true,"has_downloads":true,"private":false,"pushed_at":"2013-01-06T00:33:59-08:00","forks":0,"created_at":"2012-12-21T21:12:48-08:00"},"actor_attributes":{"email":"b6ba1c91e3d4f0622745fd07d29d0f4190cb6c72@gmail.com","type":"User","name":"Kazuhiko Sakaguchi","location":"Tsukuba, Ibaraki, Japan","blog":"http://stricter.org/"},"url":"https://github.com/pi8027/lambda-calculus/compare/023806e8fb...5c4706d5b1"}