SpiceQA
Questions
Tags
Users
Badges
data-kinds
data-kinds
2 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Constraint on function type using data kind
True Warg
0
•
asked Sep 18, 2022
2
1
94
kotlin-sealed
data-kinds
haskell
types
functional-programming
Syntax for using datatype indexed by Nat
Cactus
0
•
asked Sep 18, 2022
6
0
57
liquid-haskell
refinement-type
data-kinds
haskell
syntax
1
(current)
Hot Questions