Top Questions

1. How to check if a string contains whitespace?
   45 votes

   2 answers
2. Is there a short way to extract exactly one element from a `Vec`?
   3 votes

   1 answers
3. How to tell Agda to unfold a definition to prove an equivalency
   3 votes

   1 answers
4. Show tooltip when TextSpan is hovered over
   2 votes

   1 answers
5. Is there a function like char::escape_default for u8 bytes?
   2 votes

   1 answers