idris-lang/Idris-dev — pull request #688 by david-christiansen (2013-11-29 10:32:40+00:00)
Title: Haddock on test

Generate Haddock as part of testing