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.