idris-lang/Idris-dev — pull request #1098 by PhilipRasmussen (2014-04-22 22:04:13+00:00)
Title: IdrisDoc tests + bug fix

This is tests for IdrisDoc as promised earlier.
While writing them I found a bug related to merging documentations, which I fixed while at it.