{"action":"created","issue":{"url":"https://api.github.com/repos/ekmett/intervals/issues/45","repository_url":"https://api.github.com/repos/ekmett/intervals","labels_url":"https://api.github.com/repos/ekmett/intervals/issues/45/labels{/name}","comments_url":"https://api.github.com/repos/ekmett/intervals/issues/45/comments","events_url":"https://api.github.com/repos/ekmett/intervals/issues/45/events","html_url":"https://github.com/ekmett/intervals/pull/45","id":172011113,"number":45,"title":"interval integral operations","user":{"login":"echatav","id":2265940,"avatar_url":"https://avatars.githubusercontent.com/u/2265940?v=3","gravatar_id":"","url":"https://api.github.com/users/echatav","html_url":"https://github.com/echatav","followers_url":"https://api.github.com/users/echatav/followers","following_url":"https://api.github.com/users/echatav/following{/other_user}","gists_url":"https://api.github.com/users/echatav/gists{/gist_id}","starred_url":"https://api.github.com/users/echatav/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/echatav/subscriptions","organizations_url":"https://api.github.com/users/echatav/orgs","repos_url":"https://api.github.com/users/echatav/repos","events_url":"https://api.github.com/users/echatav/events{/privacy}","received_events_url":"https://api.github.com/users/echatav/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2016-08-18T21:58:58Z","updated_at":"2016-08-22T19:52:01Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/ekmett/intervals/pulls/45","html_url":"https://github.com/ekmett/intervals/pull/45","diff_url":"https://github.com/ekmett/intervals/pull/45.diff","patch_url":"https://github.com/ekmett/intervals/pull/45.patch"},"body":"* fixes #10 \r\n* added `iquot`, `item`, `idiv`, `mod` for `Interval`,\r\n`Interval.NonEmpty` and `Interval.Kaucher`\r\n* deprecated `elem`/`notElem` and added `member`/`notMember` to\r\n`Interval.Kaucher`"},"comment":{"url":"https://api.github.com/repos/ekmett/intervals/issues/comments/241529127","html_url":"https://github.com/ekmett/intervals/pull/45#issuecomment-241529127","issue_url":"https://api.github.com/repos/ekmett/intervals/issues/45","id":241529127,"user":{"login":"echatav","id":2265940,"avatar_url":"https://avatars.githubusercontent.com/u/2265940?v=3","gravatar_id":"","url":"https://api.github.com/users/echatav","html_url":"https://github.com/echatav","followers_url":"https://api.github.com/users/echatav/followers","following_url":"https://api.github.com/users/echatav/following{/other_user}","gists_url":"https://api.github.com/users/echatav/gists{/gist_id}","starred_url":"https://api.github.com/users/echatav/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/echatav/subscriptions","organizations_url":"https://api.github.com/users/echatav/orgs","repos_url":"https://api.github.com/users/echatav/repos","events_url":"https://api.github.com/users/echatav/events{/privacy}","received_events_url":"https://api.github.com/users/echatav/received_events","type":"User","site_admin":false},"created_at":"2016-08-22T19:52:01Z","updated_at":"2016-08-22T19:52:01Z","body":"Added tests. Thanks @RyanGlScott! Only `NonEmpty` was set up for property testing so I put property tests there and example tests in the other two. Tests passed without changing any code so I'm satisfied that these operations yield intervals that aren't too small, but it may be that sharper bounds could be obtained."}}
{"actor":{"display_login":"echatav"}}