{"repository":{"forks":11,"created_at":"2011/09/14 09:55:49 -0700","owner":"edwinb","language":"Haskell","has_wiki":true,"open_issues":2,"description":"A Dependently Typed Functional Programming Language","watchers":35,"pushed_at":"2012/04/07 10:20:49 -0700","fork":false,"size":424,"private":false,"has_downloads":true,"homepage":"http://idris-lang.org","has_issues":true},"actor_attributes":{"name":"Edwin Brady","type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/edwinb/Idris-dev/compare/9d389c4e93...2c5c7688af"}