edwinb/Idris-dev — pull request #203 by david-christiansen (2013-02-26 15:24:21+00:00)
Title: Haddock added to Makefile; more docs

I finally figured out how to get Haddock to link to Hackage for external packages. This has been put into the Makefile. Also, there's a bit more documentation now.