Skip to content

No labels!

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

bug
bug
Something isn't working
ci
ci
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
formatter
formatter
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
high-priority
high-priority
input-method
input-method
installer
installer
invalid
invalid
This doesn't seem right
judoc
judoc
juvix-bug
juvix-bug
maintenance
maintenance
pending-review
pending-review
question
question
Further information is requested
repl
repl
syntax-highlighting
syntax-highlighting
test
test
typechecking
typechecking
vamp-ir
vamp-ir
wontfix
wontfix
This will not be worked on