Top Questions

1. Fix and Mu isomorphic
   7 votes

   1 answers
2. Idris - Eq for enumerated type
   5 votes

   2 answers
3. Haskell - Safe and Trustworthy extensions
   4 votes

   1 answers
4. Left and right recursive parser
   4 votes

   1 answers
5. Idris - proof on inductive step
   4 votes

   1 answers