{"repository":{"created_at":"2012-06-28T19:05:18-07:00","owner":"asr","open_issues":0,"homepage":"","has_issues":true,"has_downloads":true,"language":"Haskell","pushed_at":"2012-06-28T19:41:54-07:00","forks":1,"fork":false,"size":3384,"description":"First-order theories in Agda.","private":false,"watchers":1,"has_wiki":true},"actor_attributes":{"type":"User","name":"Andrés Sicard-Ramírez","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/asr/FOT/compare/38e52b8292...27c4745080"}