```coffeescript
'menu':
  [
    {
      'label': 'Packages'
      'submenu':
        [
          'label': 'Idris'
          'submenu':
            [
              {
                'label': 'Typecheck'
                'command': 'language-idris:typecheck'
              }
            ]
        ]
    }
  ]
'context-menu':
  'atom-text-editor[data-grammar~=\"idris\"]': [
    {
      'label': 'Idris'
      'submenu': [
        {
          'label': 'Typecheck'
          'command': 'language-idris:typecheck'
        }
        {
          'label': 'Type search'
          'command': 'language-idris:type-of'
        }
        {
          'label': 'Docs for'
          'command': 'language-idris:docs-for'
        }
      ]
    }
  ]
```

Add additional entries to the Idris main menu
user
```coffeescript
'menu':
  [
    {
      'label': 'Packages'
      'submenu':
        [
          'label': 'Idris'
          'submenu':
            [
              {
                'label': 'Typecheck'
                'command': 'language-idris:typecheck'
              }
              {
                'label': 'Open REPL'
                'command': 'language-idris:open-repl'
              }
              {
                'label': 'Apropos'
                'command': 'language-idris:apropos'
              }
              {
                'label': 'Holes'
                'command': 'language-idris:holes'
              }
              {
                'label': 'Stop Compiler'
                'command': 'language-idris:stop-compiler'
              }
            ]
        ]
    }
  ]
'context-menu':
  'atom-text-editor[data-grammar~=\"idris\"]': [
    {
      'label': 'Idris'
      'submenu': [
        {
          'label': 'Typecheck'
          'command': 'language-idris:typecheck'
        }
        {
          'label': 'Type search'
          'command': 'language-idris:type-of'
        }
        {
          'label': 'Docs for'
          'command': 'language-idris:docs-for'
        }
      ]
    }
  ]
```
assistant