edwinb/Idris-dev — pull request #344 by andy-morris (2013-06-24 12:51:55+00:00)
Title: Parse empty comments

Fixes #341.