Labels

• A-tooling

  Area: tooling
• A-trait-system

  Area: trait system
• A-translation

  Area: diagnostics translation and other translations
• A-type-check

  Area: type checking
• A-types

  Area: types (e.g. how they are represented)
• A-universes

  Area: universes
• A-visualizations

  Area: visualizations
• A-walkthrough

  Area: walkthroughs
• C-broken-links

  Category: broken links
• C-bug

  Category: bug
• C-CI

  Category: CI for this repo
• C-cleanup

  Category: cleanups
• C-date-reference-triage

  Category: date reference triage
• C-discussion

  Category: discussion
• C-enhancement

  Category: enhancement
• C-section-review

  Category: A review of a section that can be used to improve that section
• C-tracking-forever

  Category: always in-progress tracking issues
• C-tracking-issue

  Category: issues that track things
• dependencies

  Pull requests that update a dependency file
• E-easy

  Difficulty: might be a good place for a beginner
• E-hard

  Difficulty: might require advanced knowledge
• E-help-wanted

  Call for participation: extra help is wanted
• E-medium

  Difficulty: might require some prior knowledge or code reading
• E-mentor

  Call for partcipation: this issue has mentoring instructions / mentors available
• E-needs-info

  Call for participation: this issue needs more info to act on
• E-needs-investigation

  Call for participation: this issue needs further investigation
• E-needs-writeup

  Call for participation: discussion can be written up without much research required
• F-arbitrary_self_types

  Feature: arbitrary_self_types
• F-autodiff

  Feature: autodiff
• I-confusing

  Issue: info is confusing to readers