Top Answers

1. How do I show dependency tree for a cabal project
   7 votes
2. Why Haskell has -- as the syntax of comments?
   6 votes
3. Is there a general algorithm to flatten nested lhs cases in functional programming languages?
   6 votes
4. Trying to find all solutions to a boolean formula using Z3 in python
   6 votes
5. Is there simple way to extend simply typed lambda calculus with monad types?
   6 votes