{"repository":{"description":"A collection of prototype LVar implementations, tools, and mechanized semantics.","watchers":8,"stargazers":8,"forks":2,"fork":false,"size":6217,"owner":"iu-parfunc","private":false,"open_issues":8,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Haskell","created_at":"2013-03-22T09:13:08-07:00","pushed_at":"2013-09-22T13:59:28-07:00","master_branch":"master","organization":"iu-parfunc"},"actor_attributes":{"type":"User","name":"Jeremy Taylor","company":"","blog":"jdt.me","location":"Milton Keynes, United Kingdom","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/iu-parfunc/lvars"}