{"repository":{"open_issues":0,"has_downloads":true,"owner":"RobertHarper","watchers":0,"created_at":"2013-01-15T14:23:53-08:00","has_wiki":true,"pushed_at":"2013-01-15T14:23:54-08:00","stargazers":0,"forks":0,"fork":false,"size":0,"description":"Informal Homotopy Type Theory","private":false,"has_issues":true},"actor_attributes":{"email":"cabe5a9cbb7f8c7d32e2fd1ab0300a8e38ec67c7@cs.cmu.edu","name":"Robert Harper","blog":"http://www.cs.cmu.edu/~rwh","company":"Carnegie Mellon University","location":"Pittsburgh PA","type":"User"},"url":"https://github.com/RobertHarper/HTT-Book"}