{"action":"created","issue":{"url":"https://api.github.com/repos/dcernst/IBL-AbstractAlgebra/issues/90","repository_url":"https://api.github.com/repos/dcernst/IBL-AbstractAlgebra","labels_url":"https://api.github.com/repos/dcernst/IBL-AbstractAlgebra/issues/90/labels{/name}","comments_url":"https://api.github.com/repos/dcernst/IBL-AbstractAlgebra/issues/90/comments","events_url":"https://api.github.com/repos/dcernst/IBL-AbstractAlgebra/issues/90/events","html_url":"https://github.com/dcernst/IBL-AbstractAlgebra/issues/90","id":294609462,"node_id":"MDU6SXNzdWUyOTQ2MDk0NjI=","number":90,"title":"My use of \"well-defined\" after binary operation isn't quite right","user":{"login":"dcernst","id":1286726,"node_id":"MDQ6VXNlcjEyODY3MjY=","avatar_url":"https://avatars0.githubusercontent.com/u/1286726?v=4","gravatar_id":"","url":"https://api.github.com/users/dcernst","html_url":"https://github.com/dcernst","followers_url":"https://api.github.com/users/dcernst/followers","following_url":"https://api.github.com/users/dcernst/following{/other_user}","gists_url":"https://api.github.com/users/dcernst/gists{/gist_id}","starred_url":"https://api.github.com/users/dcernst/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dcernst/subscriptions","organizations_url":"https://api.github.com/users/dcernst/orgs","repos_url":"https://api.github.com/users/dcernst/repos","events_url":"https://api.github.com/users/dcernst/events{/privacy}","received_events_url":"https://api.github.com/users/dcernst/received_events","type":"User","site_admin":false},"labels":[{"id":317166975,"node_id":"MDU6TGFiZWwzMTcxNjY5NzU=","url":"https://api.github.com/repos/dcernst/IBL-AbstractAlgebra/labels/Important","name":"Important","color":"eb6420","default":false}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-02-06T02:18:00Z","updated_at":"2018-08-24T23:03:21Z","closed_at":"2018-08-24T23:03:21Z","author_association":"OWNER","body":"The issues of \"well-defined\" and unique output aren't exactly the same thing."},"comment":{"url":"https://api.github.com/repos/dcernst/IBL-AbstractAlgebra/issues/comments/415904291","html_url":"https://github.com/dcernst/IBL-AbstractAlgebra/issues/90#issuecomment-415904291","issue_url":"https://api.github.com/repos/dcernst/IBL-AbstractAlgebra/issues/90","id":415904291,"node_id":"MDEyOklzc3VlQ29tbWVudDQxNTkwNDI5MQ==","user":{"login":"dcernst","id":1286726,"node_id":"MDQ6VXNlcjEyODY3MjY=","avatar_url":"https://avatars0.githubusercontent.com/u/1286726?v=4","gravatar_id":"","url":"https://api.github.com/users/dcernst","html_url":"https://github.com/dcernst","followers_url":"https://api.github.com/users/dcernst/followers","following_url":"https://api.github.com/users/dcernst/following{/other_user}","gists_url":"https://api.github.com/users/dcernst/gists{/gist_id}","starred_url":"https://api.github.com/users/dcernst/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dcernst/subscriptions","organizations_url":"https://api.github.com/users/dcernst/orgs","repos_url":"https://api.github.com/users/dcernst/repos","events_url":"https://api.github.com/users/dcernst/events{/privacy}","received_events_url":"https://api.github.com/users/dcernst/received_events","type":"User","site_admin":false},"created_at":"2018-08-24T23:03:21Z","updated_at":"2018-08-24T23:03:21Z","author_association":"OWNER","body":"Removed mention of well-defined after introducing binary operation in Chapter 2."}}
{"actor":{"display_login":"dcernst"}}