{"comment":{"url":"https://api.github.com/repos/hakaru-dev/hakaru/comments/18178545","html_url":"https://github.com/hakaru-dev/hakaru/commit/94cc97cd712cff753ff0152064eedd405cd712bc#commitcomment-18178545","id":18178545,"user":{"login":"ccshan","id":4238073,"avatar_url":"https://avatars.githubusercontent.com/u/4238073?v=3","gravatar_id":"","url":"https://api.github.com/users/ccshan","html_url":"https://github.com/ccshan","followers_url":"https://api.github.com/users/ccshan/followers","following_url":"https://api.github.com/users/ccshan/following{/other_user}","gists_url":"https://api.github.com/users/ccshan/gists{/gist_id}","starred_url":"https://api.github.com/users/ccshan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ccshan/subscriptions","organizations_url":"https://api.github.com/users/ccshan/orgs","repos_url":"https://api.github.com/users/ccshan/repos","events_url":"https://api.github.com/users/ccshan/events{/privacy}","received_events_url":"https://api.github.com/users/ccshan/received_events","type":"User","site_admin":false},"position":23,"line":370,"path":"maple/KB.mpl","commit_id":"94cc97cd712cff753ff0152064eedd405cd712bc","created_at":"2016-07-08T18:46:54Z","updated_at":"2016-07-08T18:46:54Z","body":"Note that `simplify_assuming` nowadays does significantly more than piping `kb_to_assumptions` to `simplify` and `assuming`, so this function is not doing that additional part."}}
{"actor":{"display_login":"ccshan"}}