Top Questions

1. Why does Idris 2 fail to resolve constraints with function composition in this trivial example?
   2 votes

   1 answers