idris-lang/Idris-dev — pull request #540 by reynir (2013-10-16 13:46:37+00:00)
Title: Add missing case in the pretty printer

This solves #538