idris-hackers/idris-tutorial — pull request #9 by jfdm (2013-12-10 21:32:13+00:00)
Title: Updated installation instructions.

Added note on checking that `~/.cabal/bin` was added to `$PATH`. Fixes Issue https://github.com/idris-hackers/idris-tutorial/issues/8