idris-lang/idris-tutorial — pull request #35 by jmitchell (2014-07-16 00:09:13+00:00)
Title: Add tip about Idris path on OS X

I just started the tutorial on OS X and bumped into a small problem with my Cabal path. Here's a pointer to help anyone else who runs into the same problem.