{"repository":{"watchers":1,"owner":"asr","pushed_at":"2013-01-11T15:46:43-08:00","description":"Agda formalisation of FOTC (First-Order Theory of Combinators).","stargazers":1,"forks":0,"has_issues":true,"language":"Haskell","has_downloads":true,"fork":false,"size":6276,"created_at":"2012-06-28T14:53:00-07:00","private":false,"open_issues":7,"homepage":"","has_wiki":false},"actor_attributes":{"type":"User","name":"Andrés Sicard-Ramírez","blog":"","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/asr/fotc/compare/55ca1786fe...cf15170415"}