Skip to content

No labels!

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

100 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
git
git
good first issue
good first issue
Good for newcomers
haskell-package
haskell-package
help wanted
help wanted
Extra attention is needed
highlight
highlight
Related to the `juvix internal highlight` command
1
html
html
1
internal-to-core
internal-to-core
1
invalid
invalid
This doesn't seem right
is-draft
is-draft
isabelle
isabelle
11
issue:draft
issue:draft
judoc
judoc
Juvix documentation generation
1
juvix-examples
juvix-examples
juvix-formatter
juvix-formatter
8
juvix-reg
juvix-reg
1
juvix-tree
juvix-tree
2
language
language
4
library-management
library-management
lifting
lifting
mac-issue
mac-issue
Makefile
Makefile
markdown
markdown
microjuvix
microjuvix
milestone-example
milestone-example
minic
minic
minihaskell
minihaskell
modules
modules
3
monomorphization
monomorphization
nock
nock
2
old
old
PRs from an older version of Juvix, no longer related to this repository.