{"action":"created","issue":{"url":"https://api.github.com/repos/input-output-hk/cardanodocs.com/issues/101","repository_url":"https://api.github.com/repos/input-output-hk/cardanodocs.com","labels_url":"https://api.github.com/repos/input-output-hk/cardanodocs.com/issues/101/labels{/name}","comments_url":"https://api.github.com/repos/input-output-hk/cardanodocs.com/issues/101/comments","events_url":"https://api.github.com/repos/input-output-hk/cardanodocs.com/issues/101/events","html_url":"https://github.com/input-output-hk/cardanodocs.com/issues/101","id":317870658,"number":101,"title":"Is there any paper about Plutus?","user":{"login":"kikofernandez","id":361993,"avatar_url":"https://avatars3.githubusercontent.com/u/361993?v=4","gravatar_id":"","url":"https://api.github.com/users/kikofernandez","html_url":"https://github.com/kikofernandez","followers_url":"https://api.github.com/users/kikofernandez/followers","following_url":"https://api.github.com/users/kikofernandez/following{/other_user}","gists_url":"https://api.github.com/users/kikofernandez/gists{/gist_id}","starred_url":"https://api.github.com/users/kikofernandez/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kikofernandez/subscriptions","organizations_url":"https://api.github.com/users/kikofernandez/orgs","repos_url":"https://api.github.com/users/kikofernandez/repos","events_url":"https://api.github.com/users/kikofernandez/events{/privacy}","received_events_url":"https://api.github.com/users/kikofernandez/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-04-26T04:08:09Z","updated_at":"2018-05-07T00:57:50Z","closed_at":null,"author_association":"NONE","body":"Hi,\r\n\r\nI am really interested in Cardano and Plutus and I would like to know if there is any published or draft paper available that provides the formal semantics of Plutus. (I have read the documentation but I would like to really dig down into the language).\r\n\r\nThanks"},"comment":{"url":"https://api.github.com/repos/input-output-hk/cardanodocs.com/issues/comments/386930921","html_url":"https://github.com/input-output-hk/cardanodocs.com/issues/101#issuecomment-386930921","issue_url":"https://api.github.com/repos/input-output-hk/cardanodocs.com/issues/101","id":386930921,"user":{"login":"SebastienGllmt","id":2608559,"avatar_url":"https://avatars1.githubusercontent.com/u/2608559?v=4","gravatar_id":"","url":"https://api.github.com/users/SebastienGllmt","html_url":"https://github.com/SebastienGllmt","followers_url":"https://api.github.com/users/SebastienGllmt/followers","following_url":"https://api.github.com/users/SebastienGllmt/following{/other_user}","gists_url":"https://api.github.com/users/SebastienGllmt/gists{/gist_id}","starred_url":"https://api.github.com/users/SebastienGllmt/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SebastienGllmt/subscriptions","organizations_url":"https://api.github.com/users/SebastienGllmt/orgs","repos_url":"https://api.github.com/users/SebastienGllmt/repos","events_url":"https://api.github.com/users/SebastienGllmt/events{/privacy}","received_events_url":"https://api.github.com/users/SebastienGllmt/received_events","type":"User","site_admin":false},"created_at":"2018-05-07T00:57:50Z","updated_at":"2018-05-07T00:57:50Z","author_association":"NONE","body":"Probably you're looking for https://github.com/psygnisfive/Plutus-Core-Spec or https://github.com/input-output-hk/plutus-prototype"}}
{"actor":{"display_login":"SebastienGllmt"}}