{"repository":{"description":"A Dependently Typed Functional Programming Language","forks":23,"owner":"edwinb","language":"Haskell","has_downloads":true,"open_issues":28,"created_at":"2011-09-14T09:55:49-07:00","has_wiki":true,"watchers":75,"fork":false,"size":784,"homepage":"http://idris-lang.org","stargazers":75,"private":false,"has_issues":true,"pushed_at":"2013-01-11T05:16:10-08:00"},"actor_attributes":{"type":"User","name":"Edwin Brady","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/edwinb/Idris-dev/compare/1ffdfc0d4e...7a66adc6de"}