idris

121 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Why does this expression parser scale so bad in the number of (some?) rules?
user_4774760
•
3
2
65
parser-combinators idris time-complexity parsing performance
Idris, convert from a Double to a Nat by dropping the decimal points (floor)
user_780000
•
2
1
57
idris nat floor double
Why doesn't cong typecheck in Idris 2
user_13788680
•
2
1
76
idris
How to garbage collect an Idris/C Struct?
user_59869070
•
4
0
95
idris ffi struct c
Convert a Bits8 to a `Subset Nat (`LT` 256)`
user_3094830
•
2
2
60
dependent-type idris proof
"Not a constructor application or primitive" when using `with`
user_59869070
•
2
0
42
idris
Is flattening a list easier in dependently typed functional programming languages?
user_72491000
•
2
4
298
idris coq agda functional-programming haskell
Idris 2 cannot find Control.Linear.LIO module
user_167054080
•
1
1
100
idris
Why does Haskell 9.0 not have Zero in its linear types, but Idris 2 does?
user_35743790
•
7
1
257
linear-types idris haskell types
How to use Refl in a "with" clause
user_122432620
•
3
1
37
idris with-statement equality types
Hot Questions