{"repository":{"stargazers":0,"description":"Linear logic theorem prover and proof explorer","owner":"jff","pushed_at":"2013-01-23T09:28:21-08:00","forks":0,"language":"Haskell","has_downloads":true,"fork":true,"size":172,"open_issues":0,"has_wiki":true,"homepage":"","watchers":0,"private":false,"has_issues":true,"created_at":"2013-01-10T09:20:38-08:00"},"actor_attributes":{"email":"c510cd8607f92e1e09fd0b0d0d035c16d2428fa4@joaoff.com","blog":"http://joaoff.com","location":"Teesside","type":"User","name":"Joao F. Ferreira","company":"Teesside University"},"url":"https://github.com/jff/TeLLer/compare/f7c15b1b78...3774d664e4"}