Skip to content

No labels!

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

Bad error message
Bad error message
Can't reproduce
Can't reproduce
This doesn't seem to be reproducible
Confirmed bug
Confirmed bug
Something isn't working
Duplicate
Duplicate
This issue or pull request already exists
Feature request
Feature request
Good first issue
Good first issue
Good for newcomers
Information needed
Information needed
Further information is requested
Installation Issue
Installation Issue
Problem compiling or running Idris
Invalid
Invalid
Functions as intended
Needs a closer look
Needs a closer look
Acknowledged, but will require further investigation
Performance
Performance
Proposal (please add to wiki/mailing list)
Proposal (please add to wiki/mailing list)