Labels

• cleanup

  Refactoring or cleaning up the code
• documentation

  Improvements or additions to documentation
• enhancement

  Extending the model or improving it
• good first issue

  Good for newcomers
• incomplete

  Type system is not accepting things it should
• rfc

  Issue intended for public discussion or design
• unsound

  Type system is accepting things it shouldn't