Labels

• bug

  Something isn't working
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• invalid

  This doesn't seem right
• needs details

  More information to proceed
• optional

  This issue may be optionally addressed, and is not a priority
• question

  Further information is requested
• requested change

  Team or Client has requested this change
• type issue

  A problem or question regarding the type system or type checker
• wip

  Do not merge or close, currently in progress
• wontfix

  This will not be worked on