SpiceQA
Questions
Tags
Users
Badges
liquid-haskell
liquid-haskell
1 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
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