{"repository":{"description":"Implementation of McBride's \"First-order unification by structural recursion\" in Agda.","watchers":1,"stargazers":1,"forks":0,"fork":false,"size":244,"owner":"pepijnkokke","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"created_at":"2013-11-18T07:23:58-08:00","pushed_at":"2013-11-18T09:15:19-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Miles Sabin","company":"_.underscore/Chuusai/shapeless","blog":"http://www.chuusai.com/blog","location":"Brighton, UK","email":"54234b27fef504da340909df6dcfdd8e7524fa74@milessabin.com"},"url":"https://github.com/pepijnkokke/first-order-unification-in-agda"}