{"action":"created","issue":{"url":"https://api.github.com/repos/jonsterling/JonPRL/issues/121","labels_url":"https://api.github.com/repos/jonsterling/JonPRL/issues/121/labels{/name}","comments_url":"https://api.github.com/repos/jonsterling/JonPRL/issues/121/comments","events_url":"https://api.github.com/repos/jonsterling/JonPRL/issues/121/events","html_url":"https://github.com/jonsterling/JonPRL/issues/121","id":93822207,"number":121,"title":"ascii-only concrete syntax","user":{"login":"jonsterling","id":55057,"avatar_url":"https://avatars.githubusercontent.com/u/55057?v=3","gravatar_id":"","url":"https://api.github.com/users/jonsterling","html_url":"https://github.com/jonsterling","followers_url":"https://api.github.com/users/jonsterling/followers","following_url":"https://api.github.com/users/jonsterling/following{/other_user}","gists_url":"https://api.github.com/users/jonsterling/gists{/gist_id}","starred_url":"https://api.github.com/users/jonsterling/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jonsterling/subscriptions","organizations_url":"https://api.github.com/users/jonsterling/orgs","repos_url":"https://api.github.com/users/jonsterling/repos","events_url":"https://api.github.com/users/jonsterling/events{/privacy}","received_events_url":"https://api.github.com/users/jonsterling/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-07-08T15:41:23Z","updated_at":"2015-07-08T17:34:29Z","closed_at":null,"body":"This is kind of a \"request for comment\"... I have been thinking that the requiring fancy input methods to enter in JonPRL code is a bit unkind. It's often difficult as well to know which variant of a symbol to use (for instance, `\\bigcap` or `\\cap`? it's the former, but that may be non-obvious to users.)\r\n\r\nMy thinking is that we should make the built-ins have ascii names, and then implement display forms in the emacs mode."},"comment":{"url":"https://api.github.com/repos/jonsterling/JonPRL/issues/comments/119672098","html_url":"https://github.com/jonsterling/JonPRL/issues/121#issuecomment-119672098","issue_url":"https://api.github.com/repos/jonsterling/JonPRL/issues/121","id":119672098,"user":{"login":"freebroccolo","id":151197,"avatar_url":"https://avatars.githubusercontent.com/u/151197?v=3","gravatar_id":"","url":"https://api.github.com/users/freebroccolo","html_url":"https://github.com/freebroccolo","followers_url":"https://api.github.com/users/freebroccolo/followers","following_url":"https://api.github.com/users/freebroccolo/following{/other_user}","gists_url":"https://api.github.com/users/freebroccolo/gists{/gist_id}","starred_url":"https://api.github.com/users/freebroccolo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/freebroccolo/subscriptions","organizations_url":"https://api.github.com/users/freebroccolo/orgs","repos_url":"https://api.github.com/users/freebroccolo/repos","events_url":"https://api.github.com/users/freebroccolo/events{/privacy}","received_events_url":"https://api.github.com/users/freebroccolo/received_events","type":"User","site_admin":false},"created_at":"2015-07-08T17:34:29Z","updated_at":"2015-07-08T17:34:29Z","body":"ASCII is probably a reasonable choice. There are some ways to deal with the the unicode issue but it involves handling confusables and normalization nicely and doing that is definitely non-trivial, especially if there aren't already libraries for it. The main downside to ASCII scripts in my mind is that, outside of the editor, they are harder to read and unfortunately this is how most people will see them."}}