Top Questions

1. ghc fails to find a library that I built and installed with cabal new-install --lib
   4 votes

   0 answers
2. Idris: totality check fails when trying to re-implement fromInteger for Nat
   3 votes

   1 answers