Top Questions

1. How to express a disjunction of inequalities compactly without redundant answers/solutions
   19 votes

   4 answers
2. Space-efficient reading of chars in canonical form
   11 votes

   3 answers
3. Testing a too general program
   5 votes

   2 answers
4. Safe sorting of terms
   3 votes

   1 answers