idris

121 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Smart constructor for tuple in Idris
user_91848990
•
3
2
204
idris haskell
Failed to declare MonadPlus interface constrained on Monad
user_4237030
•
2
1
79
idris monads
How to prove equality commutes in Idris?
user_7335450
•
2
1
84
idris
Why I can't use matched variable instead of a variable value?
user_4237030
•
3
1
59
idris
Does Idris use tail call optimization?
user_59869070
•
4
1
222
idris tail-recursion
Rewiring my own Vect but encountering issues
user_87865410
•
2
1
57
idris
How to choose operator precedence?
user_59869070
•
2
1
86
idris operator-precedence language-agnostic operators
How to match on all integers in a range in a total function?
user_3443470
•
3
0
49
proof-of-correctness idris
How to prove that 2 is Prime in Idris?
user_126907610
•
2
1
97
idris proof
How to pass function through a custom Idris FFI?
user_38470230
•
2
1
66
idris
Hot Questions