{"action":"closed","issue":{"url":"https://api.github.com/repos/jonsterling/JonPRL/issues/22","labels_url":"https://api.github.com/repos/jonsterling/JonPRL/issues/22/labels{/name}","comments_url":"https://api.github.com/repos/jonsterling/JonPRL/issues/22/comments","events_url":"https://api.github.com/repos/jonsterling/JonPRL/issues/22/events","html_url":"https://github.com/jonsterling/JonPRL/issues/22","id":76937649,"number":22,"title":"Add \"conversions\" / rewrites","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":"closed","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-05-16T04:08:17Z","updated_at":"2015-05-27T22:56:42Z","closed_at":"2015-05-27T22:56:42Z","body":"This is probably the right thing to do rather than trying to have a one-size-fits-all `whnf` tactic, etc.\r\n\r\nThese would be essentially like (trusted) tactics, except that they don't have access to the context. In MetaPRL, they did some interesting stuff like compiling these down to little machines. Not sure I want to bother with looking into that right now, but it would be pretty cool in the future."}}