{"action":"created","issue":{"url":"https://api.github.com/repos/RedPRL/sml-redprl/issues/651","repository_url":"https://api.github.com/repos/RedPRL/sml-redprl","labels_url":"https://api.github.com/repos/RedPRL/sml-redprl/issues/651/labels{/name}","comments_url":"https://api.github.com/repos/RedPRL/sml-redprl/issues/651/comments","events_url":"https://api.github.com/repos/RedPRL/sml-redprl/issues/651/events","html_url":"https://github.com/RedPRL/sml-redprl/issues/651","id":306883149,"number":651,"title":"don’t require uppercase operator names","user":{"login":"jonsterling","id":55057,"avatar_url":"https://avatars2.githubusercontent.com/u/55057?v=4","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":[{"id":447876242,"url":"https://api.github.com/repos/RedPRL/sml-redprl/labels/A-parser","name":"A-parser","color":"fbca04","default":false}],"state":"open","locked":false,"assignee":{"login":"jonsterling","id":55057,"avatar_url":"https://avatars2.githubusercontent.com/u/55057?v=4","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},"assignees":[{"login":"jonsterling","id":55057,"avatar_url":"https://avatars2.githubusercontent.com/u/55057?v=4","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}],"milestone":null,"comments":4,"created_at":"2018-03-20T14:13:26Z","updated_at":"2018-03-20T21:22:45Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"This is really annoying... the reason we do it is that otherwise there is an ambiguity between variables and nullary operators. the solution is to parse terms in some less structured formaf, extended sexprs. then we turn these into abts during RedML elaboration, so that we can correctly choose whether something is an operator head or a variable based on the resolver environment.\r\n\r\nThis is a better design anyway.it will also solve many problems with sort inference. "},"comment":{"url":"https://api.github.com/repos/RedPRL/sml-redprl/issues/comments/374761442","html_url":"https://github.com/RedPRL/sml-redprl/issues/651#issuecomment-374761442","issue_url":"https://api.github.com/repos/RedPRL/sml-redprl/issues/651","id":374761442,"user":{"login":"jonsterling","id":55057,"avatar_url":"https://avatars2.githubusercontent.com/u/55057?v=4","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},"created_at":"2018-03-20T21:22:45Z","updated_at":"2018-03-20T21:22:45Z","author_association":"CONTRIBUTOR","body":"To be able to parse things like tactics under this scheme, I guess I need to design a parsetree type for tactics that wraps these \"RedExpr\" nodes. (For now: later, if we switch tactics to an immortal notation, we can get rid of this.)"}}
{"actor":{"display_login":"jonsterling"}}