idris

121 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
In Idris, can I prove free theorems, e.g. the only (total) function of type `forall t. t -> t` is `id`?
user_13713680
•
13
1
353
free-theorem parametric-polymorphism idris
Constants in Idris
user_79780680
•
4
2
164
idris
module Network.Socket isn't found in Idris
user_79780680
•
3
1
230
idris read-eval-print-loop package
Idris Vect.fromList usage with generated list
user_514280
•
3
1
471
dependent-type idris
How do I evaluate this recursive function in Idris interactive?
user_514280
•
4
1
297
idris recursion haskell
What is the preferred alternative to Fin from Idris in Haskell
user_17471340
•
12
2
988
dependent-type idris haskell
How to extract the second element of Sigma on the Calculus of Constructions?
user_10317910
•
9
0
345
idris coq agda functional-programming haskell
Idris: totality check fails when trying to re-implement fromInteger for Nat
user_73187940
•
3
1
173
totality idris static-analysis recursion
Does Idris have an equivalent to Agda's `_` expressions?
user_7883370
•
6
1
459
theorem-proving dependent-type idris agda
Generic Adder from Idris to Scala?
user_4099760
•
5
2
337
idris shapeless scala
Hot Questions