Skip to content

No labels!

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

bug
bug
Something isn't working
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
postponed
postponed
This issue is low priority
question
question
Further information is requested
standard-compliance
standard-compliance
Something doesn't work according to the dhall standard
tracking-issue
tracking-issue
Gather progress on a particular topic
wontfix
wontfix
This will not be worked on