About Me
// Hello, World !
Top Answers
-
Singletons of singletons (emulating complex pi types in Haskell)
8 votes
-
Why do covariance/contravariance imply read-only/write-only?
5 votes
-
Haskell: RandomGen drops half of values
5 votes
-
Is the functor distribution law for the `Alt` typeclass trivial?
4 votes
-
Can I select an instance without resorting to TypeApplications?
4 votes
Top Questions
-
Why is GHC contradicting itself when using a Coercible constraint?
6 votes1 answers
-
How can I bit-convert between Int and Word quickly?
5 votes1 answers
-
How can I generalise Coq proofs of an iff?
2 votes2 answers
-
Coq - unify types from module functors with same parameters?
2 votes1 answers
-
Can I introduce sound constructor equivalence?
2 votes1 answers