idris2

10 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
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
Main.case block in case block in _ is not accessible in this context
user_94582680
•
2
0
28
idris2 case
Importing from the contrib library fails
user_30051670
•
1
2
39
idris2 idris
  • 1
Hot Questions