Skip to content

Labels

Labels

166 labels

  • A-tooling

    A-tooling
    Area: tooling

  • A-trait-system

    A-trait-system
    Area: trait system

  • A-translation

    A-translation
    Area: diagnostics translation and other translations

  • A-type-check

    A-type-check
    Area: type checking

  • A-types

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

  • A-universes

    A-universes
    Area: universes

  • A-visualizations

    A-visualizations
    Area: visualizations

  • A-walkthrough

    A-walkthrough
    Area: walkthroughs

  • C-broken-links

    C-broken-links
    Category: broken links

  • C-bug

    C-bug
    Category: bug

  • C-CI

    C-CI
    Category: CI for this repo

  • C-cleanup

    C-cleanup
    Category: cleanups

  • C-date-reference-triage

    C-date-reference-triage
    Category: date reference triage

  • C-discussion

    C-discussion
    Category: discussion

  • C-enhancement

    C-enhancement
    Category: enhancement

  • C-section-review

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

  • C-tracking-forever

    C-tracking-forever
    Category: always in-progress tracking issues

  • C-tracking-issue

    C-tracking-issue
    Category: issues that track things

  • dependencies

    dependencies
    Pull requests that update a dependency file

  • E-easy

    E-easy
    Difficulty: might be a good place for a beginner

  • E-hard

    E-hard
    Difficulty: might require advanced knowledge

  • E-help-wanted

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

  • E-medium

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

  • E-mentor

    E-mentor
    Call for partcipation: this issue has mentoring instructions / mentors available

  • E-needs-info

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

  • E-needs-investigation

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

  • E-needs-writeup

    E-needs-writeup
    Call for participation: discussion can be written up without much research required

  • F-arbitrary_self_types

    F-arbitrary_self_types
    Feature: arbitrary_self_types

  • F-autodiff

    F-autodiff
    Feature: autodiff

  • I-confusing

    I-confusing
    Issue: info is confusing to readers