{"action":"created","issue":{"url":"https://api.github.com/repos/Deducteam/Dedukti/issues/131","repository_url":"https://api.github.com/repos/Deducteam/Dedukti","labels_url":"https://api.github.com/repos/Deducteam/Dedukti/issues/131/labels{/name}","comments_url":"https://api.github.com/repos/Deducteam/Dedukti/issues/131/comments","events_url":"https://api.github.com/repos/Deducteam/Dedukti/issues/131/events","html_url":"https://github.com/Deducteam/Dedukti/pull/131","id":371095962,"node_id":"MDExOlB1bGxSZXF1ZXN0MjIzNjE4ODk4","number":131,"title":"Implementing \"lets\" as syntactic sugar","user":{"login":"Gaspi","id":3737683,"node_id":"MDQ6VXNlcjM3Mzc2ODM=","avatar_url":"https://avatars0.githubusercontent.com/u/3737683?v=4","gravatar_id":"","url":"https://api.github.com/users/Gaspi","html_url":"https://github.com/Gaspi","followers_url":"https://api.github.com/users/Gaspi/followers","following_url":"https://api.github.com/users/Gaspi/following{/other_user}","gists_url":"https://api.github.com/users/Gaspi/gists{/gist_id}","starred_url":"https://api.github.com/users/Gaspi/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Gaspi/subscriptions","organizations_url":"https://api.github.com/users/Gaspi/orgs","repos_url":"https://api.github.com/users/Gaspi/repos","events_url":"https://api.github.com/users/Gaspi/events{/privacy}","received_events_url":"https://api.github.com/users/Gaspi/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":14,"created_at":"2018-10-17T14:08:04Z","updated_at":"2018-10-18T11:52:24Z","closed_at":null,"author_association":"MEMBER","pull_request":{"url":"https://api.github.com/repos/Deducteam/Dedukti/pulls/131","html_url":"https://github.com/Deducteam/Dedukti/pull/131","diff_url":"https://github.com/Deducteam/Dedukti/pull/131.diff","patch_url":"https://github.com/Deducteam/Dedukti/pull/131.patch"},"body":"This is related to Issue #101 "},"comment":{"url":"https://api.github.com/repos/Deducteam/Dedukti/issues/comments/430979361","html_url":"https://github.com/Deducteam/Dedukti/pull/131#issuecomment-430979361","issue_url":"https://api.github.com/repos/Deducteam/Dedukti/issues/131","id":430979361,"node_id":"MDEyOklzc3VlQ29tbWVudDQzMDk3OTM2MQ==","user":{"login":"Gbury","id":1477907,"node_id":"MDQ6VXNlcjE0Nzc5MDc=","avatar_url":"https://avatars2.githubusercontent.com/u/1477907?v=4","gravatar_id":"","url":"https://api.github.com/users/Gbury","html_url":"https://github.com/Gbury","followers_url":"https://api.github.com/users/Gbury/followers","following_url":"https://api.github.com/users/Gbury/following{/other_user}","gists_url":"https://api.github.com/users/Gbury/gists{/gist_id}","starred_url":"https://api.github.com/users/Gbury/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Gbury/subscriptions","organizations_url":"https://api.github.com/users/Gbury/orgs","repos_url":"https://api.github.com/users/Gbury/repos","events_url":"https://api.github.com/users/Gbury/events{/privacy}","received_events_url":"https://api.github.com/users/Gbury/received_events","type":"User","site_admin":false},"created_at":"2018-10-18T11:52:24Z","updated_at":"2018-10-18T11:52:24Z","author_association":"CONTRIBUTOR","body":"To be clear, it is not a hard requirement for my thesis. However, it would allow for far nicer proofs."}}
{"actor":{"display_login":"Gbury"}}