Top Questions

1. How can I have Idris automatically prove that two values are not equal?
   8 votes

   1 answers
2. Type Level Fix Point while Ensuring Termination
   4 votes

   1 answers
3. Idris rewrite does not happen
   3 votes

   1 answers
4. How does Reactive's Monad instance handle simultaneous events?
   3 votes

   1 answers
5. Prove two values are equal from case statement
   3 votes

   1 answers