{"action":"created","issue":{"url":"https://api.github.com/repos/szymtor/locfin/issues/28","labels_url":"https://api.github.com/repos/szymtor/locfin/issues/28/labels{/name}","comments_url":"https://api.github.com/repos/szymtor/locfin/issues/28/comments","events_url":"https://api.github.com/repos/szymtor/locfin/issues/28/events","html_url":"https://github.com/szymtor/locfin/pull/28","id":54604572,"number":28,"title":"dawn of revolution","user":{"login":"szymtor","id":1777524,"avatar_url":"https://avatars.githubusercontent.com/u/1777524?v=3","gravatar_id":"","url":"https://api.github.com/users/szymtor","html_url":"https://github.com/szymtor","followers_url":"https://api.github.com/users/szymtor/followers","following_url":"https://api.github.com/users/szymtor/following{/other_user}","gists_url":"https://api.github.com/users/szymtor/gists{/gist_id}","starred_url":"https://api.github.com/users/szymtor/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/szymtor/subscriptions","organizations_url":"https://api.github.com/users/szymtor/orgs","repos_url":"https://api.github.com/users/szymtor/repos","events_url":"https://api.github.com/users/szymtor/events{/privacy}","received_events_url":"https://api.github.com/users/szymtor/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":103,"created_at":"2015-01-16T17:53:34Z","updated_at":"2015-01-17T20:43:07Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/szymtor/locfin/pulls/28","html_url":"https://github.com/szymtor/locfin/pull/28","diff_url":"https://github.com/szymtor/locfin/pull/28.diff","patch_url":"https://github.com/szymtor/locfin/pull/28.patch"},"body":"Rozpoczynam tu dyskusję na tematy rewolucyjne. \r\nZacząłem nowy branch \"revolt\". Pojawiają się takie pytania.\r\n\r\n* Czy w prelim od razu definiować group actions? Czy może od razu przejść do rzeczy, czyli jak najszybciej zakończyć definicję, i przejść do następnej sekcji. Zacząłem coś pisać o group actions (w commicie fe1c73d6878b6faaafbd5cb9c338481f7b95f7b0)  i wygląda na to, że wtedy to się rozwleka podobnie jak wcześniej. Więc proponuję nie pisać o group actions – naturalnie się pojawią w następnej sekcji. Usuwam je w następnym commicie. "},"comment":{"url":"https://api.github.com/repos/szymtor/locfin/issues/comments/70383526","html_url":"https://github.com/szymtor/locfin/pull/28#issuecomment-70383526","issue_url":"https://api.github.com/repos/szymtor/locfin/issues/28","id":70383526,"user":{"login":"bklin","id":10338429,"avatar_url":"https://avatars.githubusercontent.com/u/10338429?v=3","gravatar_id":"","url":"https://api.github.com/users/bklin","html_url":"https://github.com/bklin","followers_url":"https://api.github.com/users/bklin/followers","following_url":"https://api.github.com/users/bklin/following{/other_user}","gists_url":"https://api.github.com/users/bklin/gists{/gist_id}","starred_url":"https://api.github.com/users/bklin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bklin/subscriptions","organizations_url":"https://api.github.com/users/bklin/orgs","repos_url":"https://api.github.com/users/bklin/repos","events_url":"https://api.github.com/users/bklin/events{/privacy}","received_events_url":"https://api.github.com/users/bklin/received_events","type":"User","site_admin":false},"created_at":"2015-01-17T20:43:07Z","updated_at":"2015-01-17T20:43:07Z","body":"\r\nOK, go!\r\n\r\nOn 17 Jan 2015, at 21:37, ochremiak wrote:\r\n\r\n> ok. Jasne. \r\n> \r\n> 2015-01-17 21:35 GMT+01:00 bklin <notifications@github.com>: \r\n> \r\n> > \r\n> > Daj mi 5 minut, OK? Zaraz spushuje przeczytane intro. \r\n> > \r\n> > On 17 Jan 2015, at 21:34, ochremiak wrote: \r\n> > \r\n> > > Na razie nie zmieniam dowodu tego twierdzenia bo nie wiem jak to zrobić \r\n> > > sensownie. \r\n> > > \r\n> > > Czytam wszystko od początku. \r\n> > > \r\n> > > 2015-01-17 21:05 GMT+01:00 Joanna Ochremiak <joanna.ochremiak@gmail.com>: \r\n> > \r\n> > > \r\n> > > > Żeby wybrać reprezentantów dla przedykatów unarnych U_I,x korzystając \r\n> > z \r\n> > > > Lematu muszę uzasadnić, że zbiór wszystkich takich predykatów jest \r\n> > > > definiowalny. \r\n> > > > \r\n> > > > No więc każdy predykat jest skończonym podzbiorem definiowalnego \r\n> > templatu \r\n> > > > więc jest definiowalny. \r\n> > > > \r\n> > > > Poza tym zbiór predykatów jest orbitowo skończony. \r\n> > > > \r\n> > > > Mam więc orbitowo skończony zbiór zbiorów definiiowalnych. I muszę \r\n> > > > uzasadnić, że cały ten zbiór jest definiowalny. \r\n> > > > \r\n> > > > Chyba, że oleję to wszystko i napiszę, że mam orbitowo-skończony zbiór \r\n> > > > zbiorów definiowalnych, więc z każdej orbity biorę jeden element (bez \r\n> > > > odwoływania się do Lematu i wspominaniu o obliczalności zbioru tych \r\n> > > > reprezentantów). \r\n> > > > \r\n> > > > \r\n> > > > \r\n> > > > On 17 January 2015 at 21:01, Szymon Toruńczyk < \r\n> > notifications@github.com> \r\n> > > > wrote: \r\n> > > > \r\n> > > >> Co to by znaczyło? \r\n> > > >> \r\n> > > >> — \r\n> > > >> Reply to this email directly or view it on GitHub \r\n> > > >> <https://github.com/szymtor/locfin/pull/28#issuecomment-70382014>. \r\n> > > >> \r\n> > > > \r\n> > > > \r\n> > > — \r\n> > > Reply to this email directly or view it on GitHub. \r\n> > > \r\n> > \r\n> > — \r\n> > Reply to this email directly or view it on GitHub \r\n> > <https://github.com/szymtor/locfin/pull/28#issuecomment-70383253>. \r\n> >\r\n> —\r\n> Reply to this email directly or view it on GitHub.\r\n> "}}