Skip to content

No labels!

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

53 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
AST
AST
2
Benchmarks
Benchmarks
7
Blueprint
Blueprint
1
bug
bug
12
Build
Build
1
Builtins
Builtins
30
cant-reproduce
cant-reproduce
It was not possible to recreate the problem by using the description in the issue
Costing
Costing
Anything relating to costs, fees, gas, etc.
16
Crypto
Crypto
2
dependencies
dependencies
Pull requests that update a dependency file
Do not merge
Do not merge
4
Documentation
Documentation
17
Don't look here yet
Don't look here yet
1
enhancement
enhancement
19
Errors
Errors
4
Evaluation
Evaluation
13
EXPERIMENT
EXPERIMENT
Experiments that we probably don't want to merge
4
Generators
Generators
1
GHC
GHC
Things that need work in GHC
github_actions
github_actions
Pull requests that update GitHub Actions code
Good first issue
Good first issue
21
Internal
Internal
126
Ledger
Ledger
2
Low priority
Low priority
Doesn't require immediate attention
54
Metatheory
Metatheory
17
Name handling
Name handling
1
needs backport
needs backport
No Changelog Required
No Changelog Required
Add this to skip the Changelog Check
7
Objective
Objective
6
optimization
optimization
12