{"repository":{"stargazers":2,"description":"Type-level and typed unary natural numbers, vectors, inequality proofs","owner":"conal","pushed_at":"2013-01-22T15:22:06-08:00","forks":0,"language":"Haskell","has_issues":true,"has_downloads":true,"fork":false,"size":720,"open_issues":0,"homepage":"","watchers":2,"private":false,"has_wiki":true,"created_at":"2011-10-25T09:02:12-07:00"},"actor_attributes":{"name":"Conal Elliott","location":"San Andreas, California, USA","blog":"http://conal.net","company":"LambdaPix","type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/conal/type-unary/compare/f0c0e739e9...de95888bc0"}