Skip to content

No labels!

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

admin
admin
cannot reproduce
cannot reproduce
critical
critical
duplicate
duplicate
enhancement
enhancement
idris compiler bug
idris compiler bug
invalid
invalid
low-hanging fruit
low-hanging fruit
n/a
n/a
no longer applicable
nice to have
nice to have
question
question
transient
transient
upstream
upstream
ux
ux
wanting pr
wanting pr
wontfix
wontfix