ziman/text — pull request #1 by rickeyski (2014-10-28 22:11:10+00:00)
Title: Fix constructor names for idris version 0.9.15

I couldn't find a way to conditionally compile this chunk to be 0.9.14 and 0.9.15 compatible, but I will update the pull request if there is a way.