{"repository":{"owner":"edwinb","has_downloads":true,"homepage":"http://idris-lang.org","has_wiki":true,"watchers":49,"stargazers":49,"fork":false,"size":544,"description":"A Dependently Typed Functional Programming Language","open_issues":20,"private":false,"language":"Haskell","created_at":"2011-09-14T09:55:49-07:00","pushed_at":"2012-09-06T10:50:43-07:00","forks":14,"has_issues":true},"actor_attributes":{"blog":"http://jonmsterling.com","name":"Jonathan Sterling","location":"Berkeley, CA","type":"User","email":"f42196a13c804d084bd36ad40abb8e97e850212d@me.com"},"url":"https://github.com/edwinb/Idris-dev/issues/49#issuecomment-8351689"}