{"repository":{"watchers":4,"pushed_at":"2012/04/05 16:51:28 -0700","homepage":"http://www.lix.polytechnique.fr/dedukti","has_downloads":false,"has_issues":true,"forks":5,"fork":false,"language":"Haskell","size":184,"private":false,"has_wiki":false,"created_at":"2009/05/14 12:01:36 -0700","owner":"mboes","description":"A type-checker for the λΠ-modulo calculus.","open_issues":1},"actor_attributes":{"name":"Mathieu Boespflug","location":"Paris, France","type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/mboes/dedukti/compare/7f11553e73...e1e0261453"}