Top Questions

1. Haskell theorem proving tactics as indexed functors and monads
   4 votes

   1 answers
2. Aligning equations with multiple marks and lineups in `groff eqn`
   2 votes

   3 answers
3. No instance of (Eq ([a] -> [a])) when pattern matching a list of functions
   2 votes

   3 answers