Skip to content

No labels!

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

206 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
inlining
inlining
1
Installation Issue
Installation Issue
Problem compiling or running Idris
24
interactive: addclause
interactive: addclause
2
interactive: bad message
interactive: bad message
1
interactive: case
interactive: case
9
interactive: debug
interactive: debug
2
interactive: doc
interactive: doc
5
interactive: fuzzysearch
interactive: fuzzysearch
interactive: generate-def
interactive: generate-def
1
interactive: hole
interactive: hole
1
interactive: intro
interactive: intro
interactive: refine
interactive: refine
interactive: search
interactive: search
2
interactive: typeAt
interactive: typeAt
4
internal error
internal error
language: ambiguity
language: ambiguity
1
language: applicative sugar
language: applicative sugar
language: as-pattern
language: as-pattern
2
language: auto-implicit
language: auto-implicit
7
language: builtin
language: builtin
language: case
language: case
9
language: codata
language: codata
1
language: comments
language: comments
language: data
language: data
6
language: default
language: default
language: do-notation
language: do-notation
2
language: docstrings
language: docstrings
1
language: dot-patterns
language: dot-patterns
1
language: failing
language: failing
language: ffi
language: ffi
4