Top Questions

1. Haskell Time Limit on Evaluation
   16 votes

   2 answers
2. Is there a way to "remove" the parts of a functor that do not store its argument?
   16 votes

   1 answers
3. Can the continuation monad transformer be given an Alternative instance with some and many?
   14 votes

   1 answers
4. `Refl` thing in Calculus of Constructions?
   10 votes

   2 answers
5. Are there benefits of strong typing besides safety?
   8 votes

   4 answers