{"action":"created","issue":{"url":"https://api.github.com/repos/ku-fpg/natural-transformation/issues/12","repository_url":"https://api.github.com/repos/ku-fpg/natural-transformation","labels_url":"https://api.github.com/repos/ku-fpg/natural-transformation/issues/12/labels{/name}","comments_url":"https://api.github.com/repos/ku-fpg/natural-transformation/issues/12/comments","events_url":"https://api.github.com/repos/ku-fpg/natural-transformation/issues/12/events","html_url":"https://github.com/ku-fpg/natural-transformation/pull/12","id":182870325,"number":12,"title":"Resolve #11. Rename run to applyNT and nat to makeNT","user":{"login":"phadej","id":51087,"avatar_url":"https://avatars.githubusercontent.com/u/51087?v=3","gravatar_id":"","url":"https://api.github.com/users/phadej","html_url":"https://github.com/phadej","followers_url":"https://api.github.com/users/phadej/followers","following_url":"https://api.github.com/users/phadej/following{/other_user}","gists_url":"https://api.github.com/users/phadej/gists{/gist_id}","starred_url":"https://api.github.com/users/phadej/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/phadej/subscriptions","organizations_url":"https://api.github.com/users/phadej/orgs","repos_url":"https://api.github.com/users/phadej/repos","events_url":"https://api.github.com/users/phadej/events{/privacy}","received_events_url":"https://api.github.com/users/phadej/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":5,"created_at":"2016-10-13T18:52:04Z","updated_at":"2016-10-15T08:20:29Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/ku-fpg/natural-transformation/pulls/12","html_url":"https://github.com/ku-fpg/natural-transformation/pull/12","diff_url":"https://github.com/ku-fpg/natural-transformation/pull/12.diff","patch_url":"https://github.com/ku-fpg/natural-transformation/pull/12.patch"},"body":"It wasn't clear whether you want to preserve the old names in https://github.com/ku-fpg/natural-transformation/issues/11#issuecomment-253553226 so I went ahead and renamed.\r\n\r\nIf done this way, this is a breaking change."},"comment":{"url":"https://api.github.com/repos/ku-fpg/natural-transformation/issues/comments/253970409","html_url":"https://github.com/ku-fpg/natural-transformation/pull/12#issuecomment-253970409","issue_url":"https://api.github.com/repos/ku-fpg/natural-transformation/issues/12","id":253970409,"user":{"login":"phadej","id":51087,"avatar_url":"https://avatars.githubusercontent.com/u/51087?v=3","gravatar_id":"","url":"https://api.github.com/users/phadej","html_url":"https://github.com/phadej","followers_url":"https://api.github.com/users/phadej/followers","following_url":"https://api.github.com/users/phadej/following{/other_user}","gists_url":"https://api.github.com/users/phadej/gists{/gist_id}","starred_url":"https://api.github.com/users/phadej/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/phadej/subscriptions","organizations_url":"https://api.github.com/users/phadej/orgs","repos_url":"https://api.github.com/users/phadej/repos","events_url":"https://api.github.com/users/phadej/events{/privacy}","received_events_url":"https://api.github.com/users/phadej/received_events","type":"User","site_admin":false},"created_at":"2016-10-15T08:20:28Z","updated_at":"2016-10-15T08:20:28Z","body":"Additionally / Alternatively, we could change to:\r\n\r\n```hs\r\nnewtype f :~> g = NT { ($$):: forall x. f x -> g x }\r\n```\r\n\r\nSo there would be even less confusion with natural numbers. Then, `wrapNT` would make sense mostly as a part of `Transformation` class."}}
{"actor":{"display_login":"phadej"}}