Top Questions

1. Haskell - manipulating/extending an ADT that isn’t under your control
   11 votes

   2 answers
2. Is it a good or a bad thing that a suite of quickcheck tests match the implementations?
   8 votes

   3 answers
3. What is the best way of threading values around between different processes in Haskell
   3 votes

   1 answers
4. Generalising a set of proofs in coq
   2 votes

   1 answers