Top Questions

1. What %inline really do on Idris? and when to use it?
   5 votes

   1 answers
2. What "the" does in Haskell and how it can be used?
   4 votes

   2 answers
3. compilation error when trying to define a new python like pow operator
   2 votes

   0 answers