{"repository":{"description":"Analysis and synthesis of inductive families","homepage":"","watchers":3,"stargazers":3,"forks":0,"fork":false,"size":804,"owner":"josh-hs-ko","private":false,"open_issues":11,"has_issues":true,"has_downloads":true,"has_wiki":false,"language":"Agda","created_at":"2013-01-19T05:17:31-08:00","pushed_at":"2013-12-15T14:19:22-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Josh Ko","company":"Department of Computer Science, University of Oxford","blog":"http://www.cs.ox.ac.uk/people/hsiang-shang.ko/","location":"Oxford, United Kingdom","email":"a3d14e3c7a576bce1c910e43780b64daf5c2f67f@cs.ox.ac.uk"},"url":"https://github.com/josh-hs-ko/Thesis/compare/c4c8c68ddb...07cce39796"}