About Me
// Hello, World !
Top Answers
-
Are type signatures now permitted in instance declarations without needing the InstanceSigs language extension?
10 votes
-
Haskell map function for two lists
8 votes
-
Why can’t back ticks be used in JavaScript objects
8 votes
-
Haskell Cartesian Product, Monad with filter
8 votes
-
In Haskell, is it possible to qualify part of an imported module?
8 votes
Top Questions
-
Write a function with an empty case without case
6 votes3 answers
-
Restrict types in Sigma
4 votes2 answers
-
How to convince GHC about type equality on a recursive type
3 votes1 answers
-
forall in a kind signature
3 votes1 answers
-
Why doesn't cong typecheck in Idris 2
2 votes1 answers