{"repository":{"description":"Example typechecker and interpreter for the lambda calculus extended with numeric operations.","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":0,"owner":"sstrickl","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"created_at":"2013-03-11T10:49:03-07:00","pushed_at":"2013-03-11T10:49:04-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Stevie Strickland","blog":"http://sstrickl.net","location":"Silver Spring, MD","email":"cce218d042444252b7ac446d60910fca7732559c@cs.umd.edu"},"url":"https://github.com/sstrickl/lc-tc-interp"}