Skip to content

No labels!

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

17 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
backend
backend
Issues related to Proof Objects or Code Generation
1
bikeshed
bikeshed
Put your name on something
bug
bug
Something isn't working
checker
checker
Issues related to Typechecking or Logic
3
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
2
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
high priority
high priority
invalid
invalid
This doesn't seem right
parser
parser
Issues related to Tokenization or Parsing
3
performance
performance
Issues related to Code Optimization
prelude
prelude
Issues related to Preludes or User Defined Logic
question
question
Further information is requested
testing
testing
Issues related to Regression Testing
wontfix
wontfix
This will not be worked on