{"action":"created","issue":{"url":"https://api.github.com/repos/io7m/jregions/issues/2","repository_url":"https://api.github.com/repos/io7m/jregions","labels_url":"https://api.github.com/repos/io7m/jregions/issues/2/labels{/name}","comments_url":"https://api.github.com/repos/io7m/jregions/issues/2/comments","events_url":"https://api.github.com/repos/io7m/jregions/issues/2/events","html_url":"https://github.com/io7m/jregions/issues/2","id":212787991,"number":2,"title":"Add methods to return sizes from areas","user":{"login":"io7m","id":612494,"avatar_url":"https://avatars2.githubusercontent.com/u/612494?v=3","gravatar_id":"","url":"https://api.github.com/users/io7m","html_url":"https://github.com/io7m","followers_url":"https://api.github.com/users/io7m/followers","following_url":"https://api.github.com/users/io7m/following{/other_user}","gists_url":"https://api.github.com/users/io7m/gists{/gist_id}","starred_url":"https://api.github.com/users/io7m/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/io7m/subscriptions","organizations_url":"https://api.github.com/users/io7m/orgs","repos_url":"https://api.github.com/users/io7m/repos","events_url":"https://api.github.com/users/io7m/events{/privacy}","received_events_url":"https://api.github.com/users/io7m/received_events","type":"User","site_admin":false},"labels":[{"id":548367417,"url":"https://api.github.com/repos/io7m/jregions/labels/enhancement","name":"enhancement","color":"84b6eb","default":true}],"state":"open","locked":false,"assignee":{"login":"io7m","id":612494,"avatar_url":"https://avatars2.githubusercontent.com/u/612494?v=3","gravatar_id":"","url":"https://api.github.com/users/io7m","html_url":"https://github.com/io7m","followers_url":"https://api.github.com/users/io7m/followers","following_url":"https://api.github.com/users/io7m/following{/other_user}","gists_url":"https://api.github.com/users/io7m/gists{/gist_id}","starred_url":"https://api.github.com/users/io7m/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/io7m/subscriptions","organizations_url":"https://api.github.com/users/io7m/orgs","repos_url":"https://api.github.com/users/io7m/repos","events_url":"https://api.github.com/users/io7m/events{/privacy}","received_events_url":"https://api.github.com/users/io7m/received_events","type":"User","site_admin":false},"assignees":[{"login":"io7m","id":612494,"avatar_url":"https://avatars2.githubusercontent.com/u/612494?v=3","gravatar_id":"","url":"https://api.github.com/users/io7m","html_url":"https://github.com/io7m","followers_url":"https://api.github.com/users/io7m/followers","following_url":"https://api.github.com/users/io7m/following{/other_user}","gists_url":"https://api.github.com/users/io7m/gists{/gist_id}","starred_url":"https://api.github.com/users/io7m/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/io7m/subscriptions","organizations_url":"https://api.github.com/users/io7m/orgs","repos_url":"https://api.github.com/users/io7m/repos","events_url":"https://api.github.com/users/io7m/events{/privacy}","received_events_url":"https://api.github.com/users/io7m/received_events","type":"User","site_admin":false}],"milestone":null,"comments":0,"created_at":"2017-03-08T16:40:03Z","updated_at":"2017-03-08T18:10:11Z","closed_at":null,"body":"```\r\nsize :: ∀S. PAreaL<S> → PAreaSizeL<S>\r\n\r\nsize :: AreaL → AreaSizeL\r\n```\r\n\r\n.. etc."},"comment":{"url":"https://api.github.com/repos/io7m/jregions/issues/comments/285120458","html_url":"https://github.com/io7m/jregions/issues/2#issuecomment-285120458","issue_url":"https://api.github.com/repos/io7m/jregions/issues/2","id":285120458,"user":{"login":"io7m","id":612494,"avatar_url":"https://avatars2.githubusercontent.com/u/612494?v=3","gravatar_id":"","url":"https://api.github.com/users/io7m","html_url":"https://github.com/io7m","followers_url":"https://api.github.com/users/io7m/followers","following_url":"https://api.github.com/users/io7m/following{/other_user}","gists_url":"https://api.github.com/users/io7m/gists{/gist_id}","starred_url":"https://api.github.com/users/io7m/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/io7m/subscriptions","organizations_url":"https://api.github.com/users/io7m/orgs","repos_url":"https://api.github.com/users/io7m/repos","events_url":"https://api.github.com/users/io7m/events{/privacy}","received_events_url":"https://api.github.com/users/io7m/received_events","type":"User","site_admin":false},"created_at":"2017-03-08T18:10:11Z","updated_at":"2017-03-08T18:10:11Z","body":"To be specific, this is about converting the immutable implementation types. The abstract value interfaces are already compatible due to subtyping."}}
{"actor":{"display_login":"io7m"}}