Skip to content

No labels!

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

blocked-by-external
blocked-by-external
Can't/shouldn't proceed w/o external action or PRs --- check back periodically
blocked-by-internal
blocked-by-internal
Can't/shouldn't proceed w/o internal action --- link to relevant Issue, rm label when complete
blocking-something-else
blocking-something-else
bug
bug
Something isn't working
cleanup
cleanup
improvements to developing&building experience&quality, not directly to built pkg&docs
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
op-semantics
op-semantics
Operational semantics; many potentially breaking changes here
P0
P0
high priority
P1
P1
medium priority
P2
P2
low priority
P3
P3
very low priority
question
question
Further information is requested
REPL
REPL
Improved print, errors, etc.
wontfix
wontfix
This will not be worked on