{"repository":{"description":"Dependently-typed finite maps (partial dependent products)","homepage":"","watchers":1,"stargazers":1,"forks":0,"fork":false,"size":836,"owner":"mokus0","private":false,"open_issues":1,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Haskell","created_at":"2011-02-08T16:35:59-08:00","pushed_at":"2013-06-24T08:54:40-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"James Cook","email":"fe4abcdf51c8b97dd3ea49d22e0e5a1281c6239b@deepbondi.net"},"url":"https://github.com/mokus0/dependent-map/compare/c704efea82...d6bcafdf60"}