{"action":"closed","issue":{"url":"https://api.github.com/repos/salmans/Razor/issues/56","labels_url":"https://api.github.com/repos/salmans/Razor/issues/56/labels{/name}","comments_url":"https://api.github.com/repos/salmans/Razor/issues/56/comments","events_url":"https://api.github.com/repos/salmans/Razor/issues/56/events","html_url":"https://github.com/salmans/Razor/issues/56","id":51517183,"number":56,"title":"REPL command line syntax / mode transitions","user":{"login":"ryandanas","id":2554665,"avatar_url":"https://avatars.githubusercontent.com/u/2554665?v=3","gravatar_id":"","url":"https://api.github.com/users/ryandanas","html_url":"https://github.com/ryandanas","followers_url":"https://api.github.com/users/ryandanas/followers","following_url":"https://api.github.com/users/ryandanas/following{/other_user}","gists_url":"https://api.github.com/users/ryandanas/gists{/gist_id}","starred_url":"https://api.github.com/users/ryandanas/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ryandanas/subscriptions","organizations_url":"https://api.github.com/users/ryandanas/orgs","repos_url":"https://api.github.com/users/ryandanas/repos","events_url":"https://api.github.com/users/ryandanas/events{/privacy}","received_events_url":"https://api.github.com/users/ryandanas/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/salmans/Razor/labels/enhancement","name":"enhancement","color":"84b6eb"},{"url":"https://api.github.com/repos/salmans/Razor/labels/question","name":"question","color":"cc317c"}],"state":"closed","locked":false,"assignee":{"login":"ryandanas","id":2554665,"avatar_url":"https://avatars.githubusercontent.com/u/2554665?v=3","gravatar_id":"","url":"https://api.github.com/users/ryandanas","html_url":"https://github.com/ryandanas","followers_url":"https://api.github.com/users/ryandanas/followers","following_url":"https://api.github.com/users/ryandanas/following{/other_user}","gists_url":"https://api.github.com/users/ryandanas/gists{/gist_id}","starred_url":"https://api.github.com/users/ryandanas/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ryandanas/subscriptions","organizations_url":"https://api.github.com/users/ryandanas/orgs","repos_url":"https://api.github.com/users/ryandanas/repos","events_url":"https://api.github.com/users/ryandanas/events{/privacy}","received_events_url":"https://api.github.com/users/ryandanas/received_events","type":"User","site_admin":false},"milestone":null,"comments":4,"created_at":"2014-12-10T04:25:15Z","updated_at":"2015-07-16T21:03:45Z","closed_at":"2015-07-16T21:03:45Z","body":"1. Our command syntax doesn't really conform to some \"style\". The commands are all over the place. Some are single letters, some are full words. Shorthand commands are nice, but knowing something such as \"all commands are symbols then a letter\" or \"all commands are one/two words all lowercase\" will make it easier to type / more intuitive for a user.\r\n2. Explicitly saying \"take me to mode X\" is really annoying to type. Either define explicit commands for the transition (```@m``` means nothing; explore does though), or transition implicitly (user asked to load a theory in some other mode, automatically go to theory mode instead of syntax error), or a combination of both. I'm a fan of the implicit transitions. The user should be able to know / call every command at all times; however, the \"modes\" should still be displayed to the user in the hopes to get them in the right mindset. \r\n3. because i think its going to be highly related to this change, adding a \"pipe\" for REPL output would be nice. that is, some interface that will allow for interchangeable output (either stdout which is the only current implementation, opening up the output as a text file in an editor, xml, json).  \r\n\r\n@salmans @dandougherty now that we've gotten some feedback on the modes, and in general i think its a good idea, would this be the time to really formalize our command syntax? (maybe even a technical report / the start of a bigger paper?)"}}