{"repository":{"description":"A textbook on informal homotopy type theory","owner":"HoTT","language":"Shell","has_wiki":true,"pushed_at":"2013-01-30T11:01:39-08:00","forks":3,"watchers":26,"has_issues":true,"stargazers":26,"fork":false,"size":384,"open_issues":0,"private":false,"has_downloads":true,"created_at":"2012-11-06T13:35:02-08:00","organization":"HoTT"},"actor_attributes":{"name":"Kristina Sojakova","company":"Carnegie Mellon University","type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/HoTT/book/compare/fbf8857ef7...cf76ac6e2e"}