{"action":"created","issue":{"url":"https://api.github.com/repos/conal/concat/issues/23","repository_url":"https://api.github.com/repos/conal/concat","labels_url":"https://api.github.com/repos/conal/concat/issues/23/labels{/name}","comments_url":"https://api.github.com/repos/conal/concat/issues/23/comments","events_url":"https://api.github.com/repos/conal/concat/issues/23/events","html_url":"https://github.com/conal/concat/issues/23","id":281345263,"number":23,"title":"Idea: Backward propagation","user":{"login":"dramforever","id":2818072,"avatar_url":"https://avatars0.githubusercontent.com/u/2818072?v=4","gravatar_id":"","url":"https://api.github.com/users/dramforever","html_url":"https://github.com/dramforever","followers_url":"https://api.github.com/users/dramforever/followers","following_url":"https://api.github.com/users/dramforever/following{/other_user}","gists_url":"https://api.github.com/users/dramforever/gists{/gist_id}","starred_url":"https://api.github.com/users/dramforever/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dramforever/subscriptions","organizations_url":"https://api.github.com/users/dramforever/orgs","repos_url":"https://api.github.com/users/dramforever/repos","events_url":"https://api.github.com/users/dramforever/events{/privacy}","received_events_url":"https://api.github.com/users/dramforever/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":10,"created_at":"2017-12-12T11:12:36Z","updated_at":"2017-12-14T11:33:50Z","closed_at":null,"author_association":"NONE","body":"We can hopefully get backward propagation using\r\n\r\n    newtype F a b = F (a -> ( b :* (b -> a) ))\r\n\r\nWe can add that to the two existing ADs. I'm not sure how to make it `Closed` though; it seems that you can't."},"comment":{"url":"https://api.github.com/repos/conal/concat/issues/comments/351686194","html_url":"https://github.com/conal/concat/issues/23#issuecomment-351686194","issue_url":"https://api.github.com/repos/conal/concat/issues/23","id":351686194,"user":{"login":"dramforever","id":2818072,"avatar_url":"https://avatars0.githubusercontent.com/u/2818072?v=4","gravatar_id":"","url":"https://api.github.com/users/dramforever","html_url":"https://github.com/dramforever","followers_url":"https://api.github.com/users/dramforever/followers","following_url":"https://api.github.com/users/dramforever/following{/other_user}","gists_url":"https://api.github.com/users/dramforever/gists{/gist_id}","starred_url":"https://api.github.com/users/dramforever/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dramforever/subscriptions","organizations_url":"https://api.github.com/users/dramforever/orgs","repos_url":"https://api.github.com/users/dramforever/repos","events_url":"https://api.github.com/users/dramforever/events{/privacy}","received_events_url":"https://api.github.com/users/dramforever/received_events","type":"User","site_admin":false},"created_at":"2017-12-14T11:33:50Z","updated_at":"2017-12-14T11:33:50Z","author_association":"NONE","body":"My bad; cartesian means 'has products'. In that case it's easy to make it cartesian as described above\r\n\r\nDo you have any idea on having observable sharing in a *cartesian closed* category (w/ exponentials)? I feel like I can't."}}
{"actor":{"display_login":"dramforever"}}