{"repository":{"forks":2,"owner":"jyp","has_wiki":true,"open_issues":0,"homepage":"","watchers":7,"has_issues":true,"created_at":"2012-03-20T07:50:24-07:00","fork":false,"size":152,"description":"Tiny type-checker with dependent types","stargazers":7,"has_downloads":true,"private":false,"language":"Haskell","pushed_at":"2012-12-02T10:33:25-08:00"},"actor_attributes":{"name":"Darin Morrison","location":"Portland, OR","type":"User","company":"","email":"60de2c48ed8ccc1ef2118f2f6fd91ccf13f21d16@gmail.com"},"url":"https://github.com/jyp/nano-Agda"}