{"action":"created","issue":{"url":"https://api.github.com/repos/non/spire/issues/590","repository_url":"https://api.github.com/repos/non/spire","labels_url":"https://api.github.com/repos/non/spire/issues/590/labels{/name}","comments_url":"https://api.github.com/repos/non/spire/issues/590/comments","events_url":"https://api.github.com/repos/non/spire/issues/590/events","html_url":"https://github.com/non/spire/pull/590","id":182508670,"number":590,"title":"Lawful Signed / added commutativity where relevant","user":{"login":"denisrosset","id":93707,"avatar_url":"https://avatars.githubusercontent.com/u/93707?v=3","gravatar_id":"","url":"https://api.github.com/users/denisrosset","html_url":"https://github.com/denisrosset","followers_url":"https://api.github.com/users/denisrosset/followers","following_url":"https://api.github.com/users/denisrosset/following{/other_user}","gists_url":"https://api.github.com/users/denisrosset/gists{/gist_id}","starred_url":"https://api.github.com/users/denisrosset/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/denisrosset/subscriptions","organizations_url":"https://api.github.com/users/denisrosset/orgs","repos_url":"https://api.github.com/users/denisrosset/repos","events_url":"https://api.github.com/users/denisrosset/events{/privacy}","received_events_url":"https://api.github.com/users/denisrosset/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-10-12T12:07:16Z","updated_at":"2016-10-12T12:26:13Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/non/spire/pulls/590","html_url":"https://github.com/non/spire/pull/590","diff_url":"https://github.com/non/spire/pull/590.diff","patch_url":"https://github.com/non/spire/pull/590.patch"},"body":"Added laws for Signed, inspired by linearly ordered groups, but generalized to monoids to cater for the `UInt`, ... instances.\r\n\r\nAdded commutativity requirement where relevant (in Rig, UXXX instances).\r\n"},"comment":{"url":"https://api.github.com/repos/non/spire/issues/comments/253199244","html_url":"https://github.com/non/spire/pull/590#issuecomment-253199244","issue_url":"https://api.github.com/repos/non/spire/issues/590","id":253199244,"user":{"login":"denisrosset","id":93707,"avatar_url":"https://avatars.githubusercontent.com/u/93707?v=3","gravatar_id":"","url":"https://api.github.com/users/denisrosset","html_url":"https://github.com/denisrosset","followers_url":"https://api.github.com/users/denisrosset/followers","following_url":"https://api.github.com/users/denisrosset/following{/other_user}","gists_url":"https://api.github.com/users/denisrosset/gists{/gist_id}","starred_url":"https://api.github.com/users/denisrosset/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/denisrosset/subscriptions","organizations_url":"https://api.github.com/users/denisrosset/orgs","repos_url":"https://api.github.com/users/denisrosset/repos","events_url":"https://api.github.com/users/denisrosset/events{/privacy}","received_events_url":"https://api.github.com/users/denisrosset/received_events","type":"User","site_admin":false},"created_at":"2016-10-12T12:26:13Z","updated_at":"2016-10-12T12:26:13Z","body":"Due to `Signed` extending `Order` now, `Jet` is no longer a `Signed` instance.\r\n\r\nShould we add a compare method on `Jet` ?"}}
{"actor":{"display_login":"denisrosset"}}