Skip to content

No labels!

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

24 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
Android
Android
Android related Issues
1
AST-scope
AST-scope
AST elements for the quote system
6
bug
bug
Something isn't working
21
critical
critical
6
dependencies
dependencies
Pull requests that update a dependency file
1
documentation
documentation
Improvements or additions to documentation
13
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
7
FIR Review
FIR Review
good first issue
good first issue
Good for newcomers
5
help wanted
help wanted
Extra attention is needed
4
high-priority
high-priority
10
IDEA
IDEA
21
invalid
invalid
This doesn't seem right
Kotlin version upgrade
Kotlin version upgrade
Pattern Matching
Pattern Matching
question
question
Further information is requested
1
refined-types
refined-types
1
ruby
ruby
Pull requests that update Ruby code
1
Testing
Testing
2
type-proofs
type-proofs
2
type-system
type-system
2
web
web
5
wontfix
wontfix
This will not be worked on