Top Questions

1. How to Set Slices in Haskell's HMatrix?
   5 votes

   0 answers
2. How can I derive typeclass instances from constraint families that are in scope?
   5 votes

   2 answers
3. Using haskell's singletons, how can I write `fromList :: [a] -> Vec a n`?
   4 votes

   2 answers
4. Why do these declarations (for the same pattern) satisfy the type checker?
   4 votes

   2 answers
5. How can I use a Constraint Family that's in scope to prove instances within the body of an expression?
   3 votes

   1 answers