{"action":"created","issue":{"url":"https://api.github.com/repos/cui-unige/proofs-mencattini/issues/1","repository_url":"https://api.github.com/repos/cui-unige/proofs-mencattini","labels_url":"https://api.github.com/repos/cui-unige/proofs-mencattini/issues/1/labels{/name}","comments_url":"https://api.github.com/repos/cui-unige/proofs-mencattini/issues/1/comments","events_url":"https://api.github.com/repos/cui-unige/proofs-mencattini/issues/1/events","html_url":"https://github.com/cui-unige/proofs-mencattini/issues/1","id":185220905,"number":1,"title":"Création d'opération","user":{"login":"mencattini","id":16821049,"avatar_url":"https://avatars.githubusercontent.com/u/16821049?v=3","gravatar_id":"","url":"https://api.github.com/users/mencattini","html_url":"https://github.com/mencattini","followers_url":"https://api.github.com/users/mencattini/followers","following_url":"https://api.github.com/users/mencattini/following{/other_user}","gists_url":"https://api.github.com/users/mencattini/gists{/gist_id}","starred_url":"https://api.github.com/users/mencattini/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mencattini/subscriptions","organizations_url":"https://api.github.com/users/mencattini/orgs","repos_url":"https://api.github.com/users/mencattini/repos","events_url":"https://api.github.com/users/mencattini/events{/privacy}","received_events_url":"https://api.github.com/users/mencattini/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2016-10-25T20:10:20Z","updated_at":"2016-10-26T08:00:58Z","closed_at":null,"body":"Hello,\r\n\r\nJ'avais deux questions qui m'empêche de bien commencer:\r\n\r\n1) Comment fait-on pour avoir plusieurs cas pour une opération. Par exemple pour le ```Boolean.Equals```.\r\nJ'aurai tendance à écrire quelque chose comme ça:\r\n```\r\nBoolean [Adt.axioms].equals_true = Adt.axiom {\r\n\tBoolean.Equals {Boolean.True {}, Boolean.True {}},\r\n\tBoolean.True {}\r\n}\r\n```\r\nMais je ne couvre qu'un cas, du coup est-ce que je peux (dois?) définir un autre _cas_ avec le même nom:\r\n\r\n```\r\nBoolean [Adt.axioms].equals_true = Adt.axiom {\r\n\tBoolean.Equals {Boolean.False {}, Boolean.False {}},\r\n\tBoolean.True {}\r\n}\r\n```\r\n\r\n\r\n2) Comment puis-je tester le fait que ```Boolean.Not``` est juste? J'ai tenté d'écrire:\r\n```\r\n\tit (\"verifing the not\", function()\r\n\t\tassert.are.equal (Boolean.Not{Boolean.True}, Boolean.True)\r\n\tend)\r\n```\r\nCependant j'ai une erreur: \r\n``` ./src/adt/init.lua:118: 1 must be a term or a variable ```.\r\n\r\nMerci d'avance"},"comment":{"url":"https://api.github.com/repos/cui-unige/proofs-mencattini/issues/comments/256276665","html_url":"https://github.com/cui-unige/proofs-mencattini/issues/1#issuecomment-256276665","issue_url":"https://api.github.com/repos/cui-unige/proofs-mencattini/issues/1","id":256276665,"user":{"login":"saucisson","id":1818862,"avatar_url":"https://avatars.githubusercontent.com/u/1818862?v=3","gravatar_id":"","url":"https://api.github.com/users/saucisson","html_url":"https://github.com/saucisson","followers_url":"https://api.github.com/users/saucisson/followers","following_url":"https://api.github.com/users/saucisson/following{/other_user}","gists_url":"https://api.github.com/users/saucisson/gists{/gist_id}","starred_url":"https://api.github.com/users/saucisson/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/saucisson/subscriptions","organizations_url":"https://api.github.com/users/saucisson/orgs","repos_url":"https://api.github.com/users/saucisson/repos","events_url":"https://api.github.com/users/saucisson/events{/privacy}","received_events_url":"https://api.github.com/users/saucisson/received_events","type":"User","site_admin":false},"created_at":"2016-10-26T08:00:58Z","updated_at":"2016-10-26T08:00:58Z","body":"Bien sûr, les variables peuvent s'utiliser avec n'importe quel sort."}}
{"actor":{"display_login":"saucisson"}}