{"action":"closed","issue":{"url":"https://api.github.com/repos/eliranhaze/frege2/issues/23","repository_url":"https://api.github.com/repos/eliranhaze/frege2","labels_url":"https://api.github.com/repos/eliranhaze/frege2/issues/23/labels{/name}","comments_url":"https://api.github.com/repos/eliranhaze/frege2/issues/23/comments","events_url":"https://api.github.com/repos/eliranhaze/frege2/issues/23/events","html_url":"https://github.com/eliranhaze/frege2/issues/23","id":163653325,"number":23,"title":"commutativity of connectives ","user":{"login":"eliranhaze","id":15860925,"avatar_url":"https://avatars.githubusercontent.com/u/15860925?v=3","gravatar_id":"","url":"https://api.github.com/users/eliranhaze","html_url":"https://github.com/eliranhaze","followers_url":"https://api.github.com/users/eliranhaze/followers","following_url":"https://api.github.com/users/eliranhaze/following{/other_user}","gists_url":"https://api.github.com/users/eliranhaze/gists{/gist_id}","starred_url":"https://api.github.com/users/eliranhaze/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eliranhaze/subscriptions","organizations_url":"https://api.github.com/users/eliranhaze/orgs","repos_url":"https://api.github.com/users/eliranhaze/repos","events_url":"https://api.github.com/users/eliranhaze/events{/privacy}","received_events_url":"https://api.github.com/users/eliranhaze/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/eliranhaze/frege2/labels/bug","name":"bug","color":"ee0701"},{"url":"https://api.github.com/repos/eliranhaze/frege2/labels/client%20side","name":"client side","color":"f9d0c4"}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2016-07-04T11:00:57Z","updated_at":"2016-07-04T22:29:02Z","closed_at":"2016-07-04T22:29:02Z","body":"disjunction, conjunction and equivalence are commutative\r\n\r\nshould take this into account in deduction when checking if two formulas are equal (e.g. if one is the negation of the other, or one an antecedent in an implication)\r\n\r\nmust be recursive (e.g. (p&q)&(r&s) should be equal to (s&r)&(q&p))"}}
{"actor":{"display_login":"eliranhaze"}}