Skip to content

No labels!

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

36 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
A-Confirmed
A-Confirmed
Definitely a bug
4
A-In Progress
A-In Progress
Someone is working on fixing the bug.
1
A-Under Review
A-Under Review
1
C-Low Hanging Fruit
C-Low Hanging Fruit
Shouldn't take too much time; ideal issues for new contributors.
6
C-Moderate Effort
C-Moderate Effort
Should take a moderate amount of time to address.
20
C-Project
C-Project
A larger project that may take multiple days.
20
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
31
U-Constraint Solving
U-Constraint Solving
2
U-Desugaring
U-Desugaring
2
U-Error Reporting
U-Error Reporting
8
U-Interpreter
U-Interpreter
6
U-Language Design
U-Language Design
10
U-Parsing
U-Parsing
12
U-Pretty Printing
U-Pretty Printing
5
U-REPL
U-REPL
U-Standard Library
U-Standard Library
5
U-Syntax
U-Syntax
6
U-Testing
U-Testing
8
U-Type Checking
U-Type Checking
7
U-UI
U-UI
2
Z-Bug
Z-Bug
4
Z-Documentation
Z-Documentation
5