idris

121 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Reading from a file in Idris
user_17449140
•
2
1
392
idris ghci monads functional-programming
Why does Idris think a prefix of an identifier is a keyword?
user_116720720
•
2
1
97
idris internals
Type Level Fix Point while Ensuring Termination
user_63692760
•
4
1
312
idris
Clauses have differing numbers of arguments (when mixing impossible pattern and effects)
user_5530030
•
3
0
84
idris
Singletons of singletons (emulating complex pi types in Haskell)
user_301600
•
8
1
282
dependent-type idris ghc haskell types
Why we cannot pattern match on Set/Type in Coq/Agda/Idris？
user_16082760
•
6
1
524
idris coq agda
Finding an implementation (of show) for an inductively defined type
user_21293020
•
2
1
74
dependent-type idris typeclass polymorphism
Idris - Eq for enumerated type
user_27180640
•
5
2
282
idris types
Idris dependent records with interface constraint on Type Constructor parameter
user_40712450
•
4
1
395
idris type-constraints
Prove two values are equal from case statement
user_63692760
•
3
1
77
unification idris typechecking pattern-matching
Hot Questions