Top Questions

1. Into and From interfaces: struggling with typing.Type's covariance
   8 votes

   1 answers
2. What is XlaBuilder for?
   6 votes

   1 answers
3. What can ref do that references couldn't?
   5 votes

   1 answers
4. Calling __new__ on an Any
   4 votes

   1 answers
5. Does Idris use tail call optimization?
   4 votes

   1 answers