Top Answers

1. If Either can be either Left or Right but not both, then why does it correspond to OR instead of XOR in Curry-Howard correspondence?
   6 votes
2. How get limited number of input in Haskell
   6 votes
3. What is the main difference between Free Monoid and Monoid?
   4 votes
4. Lisp source code rewriting system
   2 votes
5. Why is a Common-Lisp Lambda expression a valid function name?
   0 votes