Skip to content

No labels!

There aren’t any labels for this repository quite yet.

37 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
A-Confirmed
A-Confirmed
Definitely a bug
3
A-In Progress
A-In Progress
Someone is working on fixing the bug.
1
A-Under Review
A-Under Review
C-Low Hanging Fruit
C-Low Hanging Fruit
Shouldn't take too much time; ideal issues for new contributors.
9
C-Moderate Effort
C-Moderate Effort
Should take a moderate amount of time to address.
19
C-Project
C-Project
A larger project that may take multiple days.
19
I-Duplicate
I-Duplicate
I-Expected Behavior
I-Expected Behavior
I-Information Needed
I-Information Needed
I-Not Reproducible
I-Not Reproducible
I-Won't Fix
I-Won't Fix
merge me
merge me
Trigger mergify bot
S-Critical
S-Critical
Critical importance
2
S-Moderate
S-Moderate
Moderate importance
12
S-Nice to have
S-Nice to have
Minor importance
33
U-Constraint Solving
U-Constraint Solving
2
U-Desugaring
U-Desugaring
2
U-Error Reporting
U-Error Reporting
8
U-Interpreter
U-Interpreter
7
U-Language Design
U-Language Design
9
U-Parsing
U-Parsing
12
U-Pretty Printing
U-Pretty Printing
4
U-REPL
U-REPL
U-Standard Library
U-Standard Library
5
U-Syntax
U-Syntax
7
U-Testing
U-Testing
7
U-Type Checking
U-Type Checking
8
U-UI
U-UI
2
Z-Bug
Z-Bug
3
Z-CI
Z-CI
Something to do with CI.
2