Labels

• bug

  A bug
• C-chalk-engine

  Issues related to the chalk-engine crate
• C-chalk-ir

  Issues related to the chalk-ir crate
• C-chalk-parse

  Issues related to the chalk-parse crate
• C-chalk-recursive

  Issues related to the chalk-recursive crate
• C-chalk-solve

  Issues related to the chalk-solve crate
• current-sprint

  Being worked on in the current sprint
• dependencies

  Pull requests that update a dependency file
• design

  Needs design work
• good first issue

  A good issue to start working on Chalk with
• meta

  Meta issues
• needs triage

  Needs to be discussed
• performance

  Performance related issue
• rustc integration

  Related to or required for rustc integration