Top Questions

1. Which languages, if any, implement rank-2 parametric polymorphism and why not ML?
   9 votes

   0 answers
2. How does `auto` interract with biconditional (iff)
   5 votes

   1 answers
3. How does decidable equality works with List.remove?
   4 votes

   2 answers
4. Induction principle for nested inductive types
   4 votes

   1 answers