Top Questions

1. How to use the Tsinghua mirrors of Hackage and Stackage with Haskell Stack package manager
   5 votes

   2 answers
2. How to create a bidirectional binary stream in Common Lisp?
   5 votes

   1 answers
3. Would it be possible to derive Data.Vector.Unbox via GHC's generic deriving?
   3 votes

   1 answers
4. How to prove that the boolean inequality of a type with itself is uninhabited in Idris?
   3 votes

   2 answers
5. Is "less than" for rational numbers decideable in Coq?
   3 votes

   1 answers