Labels

• cleanup

  cleanup

  Refactoring or cleaning up the code

• documentation

  documentation

  Improvements or additions to documentation

• enhancement

  enhancement

  Extending the model or improving it

• good first issue

  good first issue

  Good for newcomers

• incomplete

  incomplete

  Type system is not accepting things it should

• rfc

  rfc

  Issue intended for public discussion or design

• unsound

  unsound

  Type system is accepting things it shouldn't