{"action":"created","issue":{"url":"https://api.github.com/repos/szymtor/locfin/issues/13","labels_url":"https://api.github.com/repos/szymtor/locfin/issues/13/labels{/name}","comments_url":"https://api.github.com/repos/szymtor/locfin/issues/13/comments","events_url":"https://api.github.com/repos/szymtor/locfin/issues/13/events","html_url":"https://github.com/szymtor/locfin/issues/13","id":53958354,"number":13,"title":"Przygotowania sekcji; Asizacja","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":2,"created_at":"2015-01-10T13:35:59Z","updated_at":"2015-01-11T11:03:36Z","closed_at":null,"body":"Hej, przechodzę przez artykuł i wykonując następujące czynności:\r\n\r\n1) uzgadnianie notacji. Przy okazji – zamiast order-invariant proponuję order-preserving.\r\n2) dodawanie na początku sekcji tekstów, które tłumaczą, co będzie się działo.\r\n3) przygotowywanie do wywalania do apendiksu. Czyli, upewnienie się, że duże kawałki będzie można wywalić, a pozostanie przynajmniej sformułowanie lematu lub stwierdzenia, którego te kawałki dotyczyły.\r\n\r\nChciałem to zrobić z Asizacją, ale nie do końca wiem co tam się dzieje. Np. do czego służy Proposition 11? Poza tym, z Asizacją jest taki problem, że piszemy tam o rzeczach ekwiwariantnych, podczas gdy – jak rozumiem – właściwie chcemy wykorzystać to raczej do order-preserving.\r\nInna rzecz – z tego co pamiętam, w końcu nie trzeba zakładać, że termy są liniowe, a w dowodzie jest takie założenie.\r\n\r\nAsia, czy mogłabyś wykonać punkty 1,2,3 w asizacji?"},"comment":{"url":"https://api.github.com/repos/szymtor/locfin/issues/comments/69490586","html_url":"https://github.com/szymtor/locfin/issues/13#issuecomment-69490586","issue_url":"https://api.github.com/repos/szymtor/locfin/issues/13","id":69490586,"user":{"login":"ochremiak","id":10338026,"avatar_url":"https://avatars.githubusercontent.com/u/10338026?v=3","gravatar_id":"","url":"https://api.github.com/users/ochremiak","html_url":"https://github.com/ochremiak","followers_url":"https://api.github.com/users/ochremiak/followers","following_url":"https://api.github.com/users/ochremiak/following{/other_user}","gists_url":"https://api.github.com/users/ochremiak/gists{/gist_id}","starred_url":"https://api.github.com/users/ochremiak/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ochremiak/subscriptions","organizations_url":"https://api.github.com/users/ochremiak/orgs","repos_url":"https://api.github.com/users/ochremiak/repos","events_url":"https://api.github.com/users/ochremiak/events{/privacy}","received_events_url":"https://api.github.com/users/ochremiak/received_events","type":"User","site_admin":false},"created_at":"2015-01-11T11:03:36Z","updated_at":"2015-01-11T11:03:36Z","body":"Jasne. Zajmę się tym. Wracam dziś wieczorem i od jutra 100% mojej uwagi\r\njest skupione na artykule.\r\n\r\nAsia\r\n\r\n2015-01-10 15:07 GMT+01:00 Szymon Toruńczyk <notifications@github.com>:\r\n\r\n> Jeszcze jedna rzecz, którą wykonuję:\r\n> 4) Reformatuje paragrafy, tak, żeby wiersze miały ≤60 kolumn. To jest\r\n> przydatne, żeby łatwiej było śledzić zmiany w commitach (żeby paragraf nie\r\n> był cały w jednym wierszu).\r\n>\r\n> —\r\n> Reply to this email directly or view it on GitHub\r\n> <https://github.com/szymtor/locfin/issues/13#issuecomment-69456931>.\r\n>"}}