Top Questions

1. How do I instruct cabal-install or stack to use a local version of a hackage package?
   3 votes

   1 answers
2. How does cabal work out what directory it is in and look for targets?
   2 votes

   1 answers
3. Agda not eliminating clause in goal despite pattern matching on it
   2 votes

   1 answers