Top Questions

1. How can I create a function that only accepts a subset of constructors of a type?
   6 votes

   4 answers
2. What are operating-system personalities?
   5 votes

   0 answers
3. Is this a correct usage of transients?
   4 votes

   1 answers
4. How can I implement a typeOf function?
   3 votes

   1 answers
5. How can I use fractions in Idris?
   2 votes

   1 answers