Labels

• code: build

  Build
• code: refactor

  Code refactor
• code: rewrite

  (Temporary) Kind rewrite
• dependencies

  Pull requests that update a dependency file
• deploy_app

  Helps automatically deploy app in base/App
• documentation
• enhancement

  New feature or request
• feature

  A new feature that should be added.
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• question

  Further information is requested
• review docs
• rust

  Pull requests that update Rust code
• scope: coverage

  Coverage checker related issue
• scope: developer experience

  Related to the user experience of the compiler
• scope: improvement
• scope: kindelia backend
• scope: optimization
• scope: parsing

  Syntax related problem
• scope: query system
• scope: type_checker

  Type checker related issue
• status: bug

  Something isn't working
• status: confirmed bug

  Something isn't working
• wont fix