{"action":"created","issue":{"url":"https://api.github.com/repos/mumuki/mumuki-platform/issues/197","labels_url":"https://api.github.com/repos/mumuki/mumuki-platform/issues/197/labels{/name}","comments_url":"https://api.github.com/repos/mumuki/mumuki-platform/issues/197/comments","events_url":"https://api.github.com/repos/mumuki/mumuki-platform/issues/197/events","html_url":"https://github.com/mumuki/mumuki-platform/issues/197","id":87022627,"number":197,"title":"Reify extra code description","user":{"login":"flbulgarelli","id":677436,"avatar_url":"https://avatars.githubusercontent.com/u/677436?v=3","gravatar_id":"","url":"https://api.github.com/users/flbulgarelli","html_url":"https://github.com/flbulgarelli","followers_url":"https://api.github.com/users/flbulgarelli/followers","following_url":"https://api.github.com/users/flbulgarelli/following{/other_user}","gists_url":"https://api.github.com/users/flbulgarelli/gists{/gist_id}","starred_url":"https://api.github.com/users/flbulgarelli/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/flbulgarelli/subscriptions","organizations_url":"https://api.github.com/users/flbulgarelli/orgs","repos_url":"https://api.github.com/users/flbulgarelli/repos","events_url":"https://api.github.com/users/flbulgarelli/events{/privacy}","received_events_url":"https://api.github.com/users/flbulgarelli/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/mumuki/mumuki-platform/labels/enhancement","name":"enhancement","color":"84b6eb"},{"url":"https://api.github.com/repos/mumuki/mumuki-platform/labels/new-feature","name":"new-feature","color":"fad8c7"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":5,"created_at":"2015-06-10T16:13:32Z","updated_at":"2015-06-11T00:26:49Z","closed_at":null,"body":"Currently each exercise can have extra code. However, in order to let the user know about which code is available, we need to add this to the description. \r\n\r\nThis is tedious, because you need to repeat things like \"assume that you have the following functions available\", which also pollutes the description. \r\n\r\nWe could have a separate, initially collapsed section - like the hints - named 'Toolbox' or 'what do I already have?' which lists which bindings are available. \r\n\r\nSomething even better would be able to infer expectations like `Not:HasBinding:foo`  from that list. @faloi would probably like that. "},"comment":{"url":"https://api.github.com/repos/mumuki/mumuki-platform/issues/comments/110954334","html_url":"https://github.com/mumuki/mumuki-platform/issues/197#issuecomment-110954334","issue_url":"https://api.github.com/repos/mumuki/mumuki-platform/issues/197","id":110954334,"user":{"login":"faloi","id":1585835,"avatar_url":"https://avatars.githubusercontent.com/u/1585835?v=3","gravatar_id":"","url":"https://api.github.com/users/faloi","html_url":"https://github.com/faloi","followers_url":"https://api.github.com/users/faloi/followers","following_url":"https://api.github.com/users/faloi/following{/other_user}","gists_url":"https://api.github.com/users/faloi/gists{/gist_id}","starred_url":"https://api.github.com/users/faloi/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/faloi/subscriptions","organizations_url":"https://api.github.com/users/faloi/orgs","repos_url":"https://api.github.com/users/faloi/repos","events_url":"https://api.github.com/users/faloi/events{/privacy}","received_events_url":"https://api.github.com/users/faloi/received_events","type":"User","site_admin":false},"created_at":"2015-06-11T00:26:49Z","updated_at":"2015-06-11T00:26:49Z","body":"Agree. But I think that the Toolbox shouldn't be collapsed, because we actually want the student to use them."}}