{"action":"created","issue":{"url":"https://api.github.com/repos/siddhartha-gadgil/ProvingGround/issues/94","repository_url":"https://api.github.com/repos/siddhartha-gadgil/ProvingGround","labels_url":"https://api.github.com/repos/siddhartha-gadgil/ProvingGround/issues/94/labels{/name}","comments_url":"https://api.github.com/repos/siddhartha-gadgil/ProvingGround/issues/94/comments","events_url":"https://api.github.com/repos/siddhartha-gadgil/ProvingGround/issues/94/events","html_url":"https://github.com/siddhartha-gadgil/ProvingGround/issues/94","id":146007112,"number":94,"title":"Plus Type induction in core, Expression language","user":{"login":"siddhartha-gadgil","id":3583396,"avatar_url":"https://avatars.githubusercontent.com/u/3583396?v=3","gravatar_id":"","url":"https://api.github.com/users/siddhartha-gadgil","html_url":"https://github.com/siddhartha-gadgil","followers_url":"https://api.github.com/users/siddhartha-gadgil/followers","following_url":"https://api.github.com/users/siddhartha-gadgil/following{/other_user}","gists_url":"https://api.github.com/users/siddhartha-gadgil/gists{/gist_id}","starred_url":"https://api.github.com/users/siddhartha-gadgil/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/siddhartha-gadgil/subscriptions","organizations_url":"https://api.github.com/users/siddhartha-gadgil/orgs","repos_url":"https://api.github.com/users/siddhartha-gadgil/repos","events_url":"https://api.github.com/users/siddhartha-gadgil/events{/privacy}","received_events_url":"https://api.github.com/users/siddhartha-gadgil/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/siddhartha-gadgil/ProvingGround/labels/active","name":"active","color":"009800"},{"url":"https://api.github.com/repos/siddhartha-gadgil/ProvingGround/labels/defect","name":"defect","color":"eb6420"}],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2016-04-05T14:30:25Z","updated_at":"2016-04-06T03:34:52Z","closed_at":"2016-04-06T03:34:52Z","body":"* lightweight induction and recursion functions for  the Plus Types in core.\r\n* corresponding operation in expression language."},"comment":{"url":"https://api.github.com/repos/siddhartha-gadgil/ProvingGround/issues/comments/206100365","html_url":"https://github.com/siddhartha-gadgil/ProvingGround/issues/94#issuecomment-206100365","issue_url":"https://api.github.com/repos/siddhartha-gadgil/ProvingGround/issues/94","id":206100365,"user":{"login":"siddhartha-gadgil","id":3583396,"avatar_url":"https://avatars.githubusercontent.com/u/3583396?v=3","gravatar_id":"","url":"https://api.github.com/users/siddhartha-gadgil","html_url":"https://github.com/siddhartha-gadgil","followers_url":"https://api.github.com/users/siddhartha-gadgil/followers","following_url":"https://api.github.com/users/siddhartha-gadgil/following{/other_user}","gists_url":"https://api.github.com/users/siddhartha-gadgil/gists{/gist_id}","starred_url":"https://api.github.com/users/siddhartha-gadgil/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/siddhartha-gadgil/subscriptions","organizations_url":"https://api.github.com/users/siddhartha-gadgil/orgs","repos_url":"https://api.github.com/users/siddhartha-gadgil/repos","events_url":"https://api.github.com/users/siddhartha-gadgil/events{/privacy}","received_events_url":"https://api.github.com/users/siddhartha-gadgil/received_events","type":"User","site_admin":false},"created_at":"2016-04-06T03:34:52Z","updated_at":"2016-04-06T03:34:52Z","body":"Induction written and use. Refining types needs major changes - creating symbolic objects of the union type. So closed for now, to be revisited during major rewrites."}}