Top Questions

1. Empty functions are equal in Agda (without functional extensionality)
   2 votes

   1 answers
2. Intuition for difference between eta for function from top and empty functions in Agda
   2 votes

   2 answers