idris

121 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Idris "did not change type" for rewrite with exact same type
user_59869070
•
3
1
119
idris proof
How to migrate Control.ST code to Idris 2 (Control.App)?
user_4774760
•
2
0
290
st-monad idris migration monads
Idris can't solve constraint despite case split
user_116917700
•
3
1
120
theorem-proving dependent-type idris pattern-matching constraints
How to specify implicit arguments for infix operators?
user_59869070
•
2
2
107
infix-operator idris implicit
Idris `foldl` default implementation
user_120391660
•
2
1
179
dependent-type idris fold functional-programming haskell
How do I write a CV-Coalgebra in Idris2?
user_17267970
•
2
1
48
recursion-schemes idris
Lazy State monad in Idris
user_2248630
•
3
0
86
idris lazy-evaluation
`import using` or `import hiding` in Idris2
user_4774760
•
2
1
133
idris import syntax namespaces module
Idris2 syntax for symbol types
user_4774760
•
3
0
86
idris syntax symbols
RecursiveDo in Idris? (Using value before it is defined while in do notation)
user_63692760
•
2
0
57
idris
Hot Questions