{"repository":{"description":"Formalisation of a type checker for the simply typed lambda calculus, in Coq","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":212,"owner":"Wassasin","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Coq","created_at":"2013-11-25T06:24:25-08:00","pushed_at":"2013-12-03T16:36:32-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Wouter Geraedts","blog":"http://woutergeraedts.nl","email":"46f1a0bd5592a2f9244ca321b129902a06b53e03@woutergeraedts.nl"},"url":"https://github.com/Wassasin/lambda-formalisation/compare/7c17e98ace...d237d361d3"}