edwinb/Idris-dev — pull request #1 by curiousleo (2014-10-11 13:08:37+00:00)
Title: Typos in comments

<+> instead of <->