Skip to content

No labels!

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

205 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
difficulty: hard
difficulty: hard
1
discussion: design
discussion: design
19
doc: typedd
doc: typedd
1
documentation
documentation
Improvements or additions to documentation
10
editor: emacs
editor: emacs
enhancement
enhancement
17
error: bad message
error: bad message
23
error: reporting
error: reporting
7
error: warning
error: warning
2
event: April Fools
event: April Fools
event: IDM 2021/04
event: IDM 2021/04
Issue tackled during the April 2021 Idris Developers Meeting
event: IDM 2021/12
event: IDM 2021/12
Issue tackled during the December 2021 Idris Developers Meeting
event: IDM 2022/05
event: IDM 2022/05
Issue tackled during the May 2022 Idris Developers Meeting
event: IDM 2022/12
event: IDM 2022/12
Issue tackled during the December 2022 Idris Developers Meeting
1
event: IDM 2023/08
event: IDM 2023/08
Issue tackled during the August 2023 Idris Developers Meeting
Feature request
Feature request
95
good first issue
good first issue
Good for newcomers
39
help wanted
help wanted
Extra attention is needed
4
ide: highlighting
ide: highlighting
4
implem: cast
implem: cast
implem: common subexpression elimination
implem: common subexpression elimination
implem: compilation
implem: compilation
6
implem: dead code elimination
implem: dead code elimination
implem: desugaring
implem: desugaring
2
implem: elaboration
implem: elaboration
6
implem: error handling
implem: error handling
1
implem: eta
implem: eta
5
implem: exec
implem: exec
implem: import
implem: import
3
implem: incremental compilation
implem: incremental compilation