idris

121 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Idris 2 analog to Agda's `rewrite` that also changes types of bindings in the environment
user_76550810
•
1
0
25
idris2 dependent-type idris pattern-matching
Idris totality check
user_45131880
•
2
1
51
totality idris2 idris
How to deal with "Error: Multiple solutions found"?
user_20180100
•
1
1
30
idris2 idris
How to use interfaces with parameterized tuple?
user_20180100
•
2
1
57
idris2 idris
How to implement `Show` interface for parameterized tuple?
user_20180100
•
2
1
52
idris2 idris multiplicity interface
Can I avoid lower-case global variables being shadowed in types?
user_45131880
•
4
1
38
idris2 idris
The difference between dependent type signatures and proofs
user_59869070
•
4
1
92
proof-of-correctness dependent-type idris language-agnostic
What does the 0 or 1 before a parameter name mean in Idris?
user_32295340
•
3
2
77
idris2 idris
Why does Idris think my type parameter k is of type Type?
user_32295340
•
1
1
39
idris2 idris
Expressing the type of variadic functions in Idris
user_60537780
•
2
1
77
idris variadic
Hot Questions