idris

121 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
What are the correct C types to use in Idris FFI?
user_59869070
•
2
0
37
idris ffi precision integer c
How can i convince Idris that my function is covering?
user_126856650
•
3
2
116
idris
Concept of First-Classed Type in Idris
user_94582680
•
1
1
53
first-class dependent-type idris language-design
Importing from the contrib library fails
user_30051670
•
1
2
39
idris2 idris
Types that constrain vectors based on norm
user_113029770
•
3
1
144
idris agda math functional-programming haskell
Why does Idris 2 fail to resolve constraints with function composition in this trivial example?
user_12346340
•
2
1
96
idris function-composition typechecking
What does it mean to erase an argument in an erased function?
user_59869070
•
1
0
40
idris
How to prove using case splitting when hypothesis is false in some cases?
user_6137790
•
1
1
31
idris
Why does function composition work when applied to functions that take multiple arguments?
user_14981780
•
4
1
106
idris functional-programming haskell
`exitFailure` gives zero exit code
user_59869070
•
2
0
46
idris exit-code
Hot Questions