{"repository":{"description":"Bindings to Haskell's IO monad which respect Agda's semantics","homepage":"","watchers":13,"stargazers":13,"forks":1,"fork":false,"size":124,"owner":"agda","private":false,"open_issues":17,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Haskell","created_at":"2010-10-01T09:33:34-07:00","pushed_at":"2011-01-12T15:23:51-08:00","master_branch":"master","organization":"agda"},"actor_attributes":{"type":"User","name":"Matthew Brecknell","blog":"http://matthew.brecknell.net/","location":"Brisbane, Australia","email":"f80d0ca101e967b50b730ddf8e8aca0de85e8df6@brecknell.net"},"url":"https://github.com/agda/agda-system-io"}