Labels Milestones

8 labels

Sort

Alphabetically Reverse alphabetically Least issues Most issues

• bug
  1 open issues/pull requests
• duplicate
  0 open issues/pull requests
• enhancement
  0 open issues/pull requests
• help wanted
  0 open issues/pull requests
• invalid
  0 open issues/pull requests
• question
  0 open issues/pull requests
• unsoundness

  
  This issue can make the type system unsound
  1 open issues/pull requests
• wontfix
  0 open issues/pull requests