{"action":"created","issue":{"url":"https://api.github.com/repos/input-output-hk/plutus/issues/254","repository_url":"https://api.github.com/repos/input-output-hk/plutus","labels_url":"https://api.github.com/repos/input-output-hk/plutus/issues/254/labels{/name}","comments_url":"https://api.github.com/repos/input-output-hk/plutus/issues/254/comments","events_url":"https://api.github.com/repos/input-output-hk/plutus/issues/254/events","html_url":"https://github.com/input-output-hk/plutus/pull/254","id":377160458,"node_id":"MDExOlB1bGxSZXF1ZXN0MjI4MTgxNTc2","number":254,"title":"[CGP-389] [Docs] Added a writeup on mutual type-level recursion","user":{"login":"effectfully","id":10480926,"node_id":"MDQ6VXNlcjEwNDgwOTI2","avatar_url":"https://avatars1.githubusercontent.com/u/10480926?v=4","gravatar_id":"","url":"https://api.github.com/users/effectfully","html_url":"https://github.com/effectfully","followers_url":"https://api.github.com/users/effectfully/followers","following_url":"https://api.github.com/users/effectfully/following{/other_user}","gists_url":"https://api.github.com/users/effectfully/gists{/gist_id}","starred_url":"https://api.github.com/users/effectfully/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/effectfully/subscriptions","organizations_url":"https://api.github.com/users/effectfully/orgs","repos_url":"https://api.github.com/users/effectfully/repos","events_url":"https://api.github.com/users/effectfully/events{/privacy}","received_events_url":"https://api.github.com/users/effectfully/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-11-04T14:54:16Z","updated_at":"2018-11-08T14:08:50Z","closed_at":"2018-11-08T13:59:35Z","author_association":"COLLABORATOR","pull_request":{"url":"https://api.github.com/repos/input-output-hk/plutus/pulls/254","html_url":"https://github.com/input-output-hk/plutus/pull/254","diff_url":"https://github.com/input-output-hk/plutus/pull/254.diff","patch_url":"https://github.com/input-output-hk/plutus/pull/254.patch"},"body":""},"comment":{"url":"https://api.github.com/repos/input-output-hk/plutus/issues/comments/437005557","html_url":"https://github.com/input-output-hk/plutus/pull/254#issuecomment-437005557","issue_url":"https://api.github.com/repos/input-output-hk/plutus/issues/254","id":437005557,"node_id":"MDEyOklzc3VlQ29tbWVudDQzNzAwNTU1Nw==","user":{"login":"effectfully","id":10480926,"node_id":"MDQ6VXNlcjEwNDgwOTI2","avatar_url":"https://avatars1.githubusercontent.com/u/10480926?v=4","gravatar_id":"","url":"https://api.github.com/users/effectfully","html_url":"https://github.com/effectfully","followers_url":"https://api.github.com/users/effectfully/followers","following_url":"https://api.github.com/users/effectfully/following{/other_user}","gists_url":"https://api.github.com/users/effectfully/gists{/gist_id}","starred_url":"https://api.github.com/users/effectfully/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/effectfully/subscriptions","organizations_url":"https://api.github.com/users/effectfully/orgs","repos_url":"https://api.github.com/users/effectfully/repos","events_url":"https://api.github.com/users/effectfully/events{/privacy}","received_events_url":"https://api.github.com/users/effectfully/received_events","type":"User","site_admin":false},"created_at":"2018-11-08T14:08:50Z","updated_at":"2018-11-08T14:08:50Z","author_association":"COLLABORATOR","body":"I'd prefer for Philip to take a loop first. Should have added the \"DO NOT MERGE\" label. Well, not too important as these are just docs that can be extended/corrected in a future PR if necessary."}}
{"actor":{"display_login":"effectfully"}}