idris

121 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Parameters with infix operator name?
user_4774760
•
2
0
44
idris infix-notation syntax
Data type that's a pair of functions?
user_59869070
•
2
2
165
idris functional-programming haskell
compilation error when trying to define a new python like pow operator
user_136538170
•
2
0
49
idris
What %inline really do on Idris? and when to use it?
user_136538170
•
5
1
50
idris
Is there a notion of "heterogenous collection of a given shape"?
user_19460020
•
3
1
118
dependent-type idris
Is it bad form to use default annotation for default arguments?
user_59869070
•
2
0
36
idris default-value
Haskell TypeApplication-like way of explicitly picking an implementation of an interface
user_59869070
•
1
1
60
idris implements interface
Idris2: Is there a way use implicits in interface implementations
user_95544100
•
1
1
120
implicit-parameters idris interface
Idris interpreting nonlinear argument as linear
user_95544100
•
1
0
66
linear-types idris
Pattern-match (destructure) in equality proof
user_5258720
•
1
1
48
idris
Hot Questions