{"action":"created","issue":{"url":"https://api.github.com/repos/Whiley/WhileyRewriteLanguage/issues/18","labels_url":"https://api.github.com/repos/Whiley/WhileyRewriteLanguage/issues/18/labels{/name}","comments_url":"https://api.github.com/repos/Whiley/WhileyRewriteLanguage/issues/18/comments","events_url":"https://api.github.com/repos/Whiley/WhileyRewriteLanguage/issues/18/events","html_url":"https://github.com/Whiley/WhileyRewriteLanguage/issues/18","id":111939633,"number":18,"title":"Handle Inference Rules via Substitution or Rewriting","user":{"login":"DavePearce","id":484459,"avatar_url":"https://avatars.githubusercontent.com/u/484459?v=3","gravatar_id":"","url":"https://api.github.com/users/DavePearce","html_url":"https://github.com/DavePearce","followers_url":"https://api.github.com/users/DavePearce/followers","following_url":"https://api.github.com/users/DavePearce/following{/other_user}","gists_url":"https://api.github.com/users/DavePearce/gists{/gist_id}","starred_url":"https://api.github.com/users/DavePearce/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DavePearce/subscriptions","organizations_url":"https://api.github.com/users/DavePearce/orgs","repos_url":"https://api.github.com/users/DavePearce/repos","events_url":"https://api.github.com/users/DavePearce/events{/privacy}","received_events_url":"https://api.github.com/users/DavePearce/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/Whiley/WhileyRewriteLanguage/labels/Feature","name":"Feature","color":"02e10c"}],"state":"open","locked":false,"assignee":{"login":"DavePearce","id":484459,"avatar_url":"https://avatars.githubusercontent.com/u/484459?v=3","gravatar_id":"","url":"https://api.github.com/users/DavePearce","html_url":"https://github.com/DavePearce","followers_url":"https://api.github.com/users/DavePearce/followers","following_url":"https://api.github.com/users/DavePearce/following{/other_user}","gists_url":"https://api.github.com/users/DavePearce/gists{/gist_id}","starred_url":"https://api.github.com/users/DavePearce/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DavePearce/subscriptions","organizations_url":"https://api.github.com/users/DavePearce/orgs","repos_url":"https://api.github.com/users/DavePearce/repos","events_url":"https://api.github.com/users/DavePearce/events{/privacy}","received_events_url":"https://api.github.com/users/DavePearce/received_events","type":"User","site_admin":false},"milestone":null,"comments":2,"created_at":"2015-10-17T02:39:41Z","updated_at":"2015-10-18T03:51:00Z","closed_at":null,"body":"The intention of this feature is to extend the implementation of the Rewriter API to support *both* rewrite-based and substitution-based handling of inference rules.  This should allow me to play and compare with both."},"comment":{"url":"https://api.github.com/repos/Whiley/WhileyRewriteLanguage/issues/comments/148975524","html_url":"https://github.com/Whiley/WhileyRewriteLanguage/issues/18#issuecomment-148975524","issue_url":"https://api.github.com/repos/Whiley/WhileyRewriteLanguage/issues/18","id":148975524,"user":{"login":"DavePearce","id":484459,"avatar_url":"https://avatars.githubusercontent.com/u/484459?v=3","gravatar_id":"","url":"https://api.github.com/users/DavePearce","html_url":"https://github.com/DavePearce","followers_url":"https://api.github.com/users/DavePearce/followers","following_url":"https://api.github.com/users/DavePearce/following{/other_user}","gists_url":"https://api.github.com/users/DavePearce/gists{/gist_id}","starred_url":"https://api.github.com/users/DavePearce/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DavePearce/subscriptions","organizations_url":"https://api.github.com/users/DavePearce/orgs","repos_url":"https://api.github.com/users/DavePearce/repos","events_url":"https://api.github.com/users/DavePearce/events{/privacy}","received_events_url":"https://api.github.com/users/DavePearce/received_events","type":"User","site_admin":false},"created_at":"2015-10-18T03:51:00Z","updated_at":"2015-10-18T03:51:00Z","body":"Have confirmed that version used in <code>v0.3.36</code> includes <code>Automata.stratify</code>.  This narrows down the possiblities."}}