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