idris

121 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
What does a leading single quote mean?
user_50449500
•
2
1
79
single-quotes idris syntax types
How can I use fractions in Idris?
user_50449500
•
2
1
214
idris fractions
How can I implement a typeOf function?
user_50449500
•
3
1
233
first-class idris function types
Create a zero length vector
user_44539510
•
3
1
184
idris
Why doesn't this Idris snippet typecheck without an explicit type?
user_15262420
•
10
2
253
idris type-inference type-conversion functional-programming
Idris REPL: creating function
user_24825820
•
8
1
650
idris read-eval-print-loop
How to prove that the boolean inequality of a type with itself is uninhabited in Idris?
user_25534160
•
3
2
202
dependent-type idris
Implementing isLast with Idris
user_4099760
•
4
1
130
idris
In Idris, is "Eq a" a type, and can I supply a value for it?
user_13713680
•
6
1
503
idris typeclass
What's the type for Dictionary/Map in Idris
user_79780680
•
5
1
784
idris dictionary
Hot Questions