{"action":"created","issue":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2988","repository_url":"https://api.github.com/repos/idris-lang/Idris-dev","labels_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2988/labels{/name}","comments_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2988/comments","events_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2988/events","html_url":"https://github.com/idris-lang/Idris-dev/pull/2988","id":136223375,"number":2988,"title":"Added documentation for codata to the tutorial.","user":{"login":"lambda-11235","id":16354815,"avatar_url":"https://avatars.githubusercontent.com/u/16354815?v=3","gravatar_id":"","url":"https://api.github.com/users/lambda-11235","html_url":"https://github.com/lambda-11235","followers_url":"https://api.github.com/users/lambda-11235/followers","following_url":"https://api.github.com/users/lambda-11235/following{/other_user}","gists_url":"https://api.github.com/users/lambda-11235/gists{/gist_id}","starred_url":"https://api.github.com/users/lambda-11235/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lambda-11235/subscriptions","organizations_url":"https://api.github.com/users/lambda-11235/orgs","repos_url":"https://api.github.com/users/lambda-11235/repos","events_url":"https://api.github.com/users/lambda-11235/events{/privacy}","received_events_url":"https://api.github.com/users/lambda-11235/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":17,"created_at":"2016-02-24T23:31:50Z","updated_at":"2016-07-04T10:21:35Z","closed_at":"2016-04-05T19:57:21Z","pull_request":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/pulls/2988","html_url":"https://github.com/idris-lang/Idris-dev/pull/2988","diff_url":"https://github.com/idris-lang/Idris-dev/pull/2988.diff","patch_url":"https://github.com/idris-lang/Idris-dev/pull/2988.patch"},"body":"I added a section on using codata to the tutorial. I'm not very familiar with Idris yet, so feedback on whether the new documentation is incorrect, or should be moved to another place would be appreciated."},"comment":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/comments/230257711","html_url":"https://github.com/idris-lang/Idris-dev/pull/2988#issuecomment-230257711","issue_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2988","id":230257711,"user":{"login":"xekoukou","id":893652,"avatar_url":"https://avatars.githubusercontent.com/u/893652?v=3","gravatar_id":"","url":"https://api.github.com/users/xekoukou","html_url":"https://github.com/xekoukou","followers_url":"https://api.github.com/users/xekoukou/followers","following_url":"https://api.github.com/users/xekoukou/following{/other_user}","gists_url":"https://api.github.com/users/xekoukou/gists{/gist_id}","starred_url":"https://api.github.com/users/xekoukou/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/xekoukou/subscriptions","organizations_url":"https://api.github.com/users/xekoukou/orgs","repos_url":"https://api.github.com/users/xekoukou/repos","events_url":"https://api.github.com/users/xekoukou/events{/privacy}","received_events_url":"https://api.github.com/users/xekoukou/received_events","type":"User","site_admin":false},"created_at":"2016-07-04T10:21:35Z","updated_at":"2016-07-04T10:21:35Z","body":"536372f4cdcf9f83e0d9bc0d050711206790d111 Maybe this is related."}}
{"actor":{"display_login":"xekoukou"}}