Labels

• Backend

  Issues for which back-enders are responsible
• bug

  Something isn't working
• code-doc

  code-doc feature issues
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• Frontend

  Issues for which front-enders are responsible
• high priority

  T1 or T0 level bug
• lang-server

  language server issues
• question

  Need more information
• structure

  module structure issues
• wontfix

  This will not be worked on