{"comment":{"url":"https://api.github.com/repos/RedPRL/sml-redprl/comments/22741259","html_url":"https://github.com/RedPRL/sml-redprl/commit/8df7291dba24055ce9b5e897d06caf1d42cb852a#commitcomment-22741259","id":22741259,"user":{"login":"favonia","id":1471328,"avatar_url":"https://avatars2.githubusercontent.com/u/1471328?v=3","gravatar_id":"","url":"https://api.github.com/users/favonia","html_url":"https://github.com/favonia","followers_url":"https://api.github.com/users/favonia/followers","following_url":"https://api.github.com/users/favonia/following{/other_user}","gists_url":"https://api.github.com/users/favonia/gists{/gist_id}","starred_url":"https://api.github.com/users/favonia/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/favonia/subscriptions","organizations_url":"https://api.github.com/users/favonia/orgs","repos_url":"https://api.github.com/users/favonia/repos","events_url":"https://api.github.com/users/favonia/events{/privacy}","received_events_url":"https://api.github.com/users/favonia/received_events","type":"User","site_admin":false},"position":7,"line":40,"path":"test/success/derived-rule.prl","commit_id":"8df7291dba24055ce9b5e897d06caf1d42cb852a","created_at":"2017-06-24T13:47:00Z","updated_at":"2017-06-24T13:47:00Z","body":"Alright, but then I think we should change the order of goals in the composition rules. I changed the order because the current rules are not following the same principle, not even the importance principle you mentioned, so either way we have to change things. According to the importance principle, all the EQ_TYPE goals in the HCom or Com should probably go last."}}
{"actor":{"display_login":"favonia"}}