Merge pull request #197 from david-christiansen/haddock

Get Idris's implementation to generate some Haddock