{"action":"created","issue":{"url":"https://api.github.com/repos/idris-hackers/atom-language-idris/issues/11","labels_url":"https://api.github.com/repos/idris-hackers/atom-language-idris/issues/11/labels{/name}","comments_url":"https://api.github.com/repos/idris-hackers/atom-language-idris/issues/11/comments","events_url":"https://api.github.com/repos/idris-hackers/atom-language-idris/issues/11/events","html_url":"https://github.com/idris-hackers/atom-language-idris/issues/11","id":79872072,"number":11,"title":"Add a REPL","user":{"login":"archaeron","id":471043,"avatar_url":"https://avatars.githubusercontent.com/u/471043?v=3","gravatar_id":"","url":"https://api.github.com/users/archaeron","html_url":"https://github.com/archaeron","followers_url":"https://api.github.com/users/archaeron/followers","following_url":"https://api.github.com/users/archaeron/following{/other_user}","gists_url":"https://api.github.com/users/archaeron/gists{/gist_id}","starred_url":"https://api.github.com/users/archaeron/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/archaeron/subscriptions","organizations_url":"https://api.github.com/users/archaeron/orgs","repos_url":"https://api.github.com/users/archaeron/repos","events_url":"https://api.github.com/users/archaeron/events{/privacy}","received_events_url":"https://api.github.com/users/archaeron/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/idris-hackers/atom-language-idris/labels/enhancement","name":"enhancement","color":"84b6eb"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-05-23T15:13:13Z","updated_at":"2015-05-26T04:22:20Z","closed_at":null,"body":"ide-mode should make this easy.\r\nhttp://docs.idris-lang.org/en/latest/reference/ide-protocol.html#protocol-overview `(:interpret STRING)`\r\n\r\nthe only thing we have to think about is how to display the repl\r\n\r\nIdeas:\r\nTextEditorView with mini: true gives an input\r\nhttps://www.npmjs.com/package/atom-space-pen-views#constructor-params\r\n"},"comment":{"url":"https://api.github.com/repos/idris-hackers/atom-language-idris/issues/comments/105389027","html_url":"https://github.com/idris-hackers/atom-language-idris/issues/11#issuecomment-105389027","issue_url":"https://api.github.com/repos/idris-hackers/atom-language-idris/issues/11","id":105389027,"user":{"login":"Heather","id":2656965,"avatar_url":"https://avatars.githubusercontent.com/u/2656965?v=3","gravatar_id":"","url":"https://api.github.com/users/Heather","html_url":"https://github.com/Heather","followers_url":"https://api.github.com/users/Heather/followers","following_url":"https://api.github.com/users/Heather/following{/other_user}","gists_url":"https://api.github.com/users/Heather/gists{/gist_id}","starred_url":"https://api.github.com/users/Heather/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Heather/subscriptions","organizations_url":"https://api.github.com/users/Heather/orgs","repos_url":"https://api.github.com/users/Heather/repos","events_url":"https://api.github.com/users/Heather/events{/privacy}","received_events_url":"https://api.github.com/users/Heather/received_events","type":"User","site_admin":false},"created_at":"2015-05-26T04:22:20Z","updated_at":"2015-05-26T04:22:20Z","body":":+1: "}}