{"repository":{"description":"A type-checker for the λΠ-modulo calculus.","watchers":1,"has_downloads":false,"language":"Haskell","created_at":"2012/03/22 07:11:17 -0700","homepage":"http://www.lix.polytechnique.fr/dedukti","fork":true,"has_issues":false,"has_wiki":false,"forks":0,"size":164,"private":false,"owner":"mpu","open_issues":0,"pushed_at":"2012/05/05 05:10:14 -0700"},"actor_attributes":{"name":"Quentin Carbonneaux","blog":"","type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/mpu/dedukti/compare/def2ec12e3...d52d8aeeda"}