Top Answers

1. Write 4 : 'x&{.&.;: y' tacitly
   8 votes
2. Smart constructor for tuple in Idris
   4 votes
3. Idris "did not change type" for rewrite with exact same type
   3 votes
4. How does Idris know where to insert Force and Delay?
   3 votes
5. Amend with bond to new data shows unexpected behaviour
   3 votes