edwinb/Idris-dev — pull request #197 by david-christiansen (2013-02-25 14:03:44+00:00)
Title: Get Idris's implementation to generate some Haddock

I translated some notes that I made when I was first looking into Idris' implementation to Haddock comments.