idris-lang/Idris-dev — pull request #1726 by jfdm (2014-11-14 10:31:47+00:00)
Title: Lifted FIXME and TODOs from Core.

This PR lifts fixme's and todos to the issue tracker, and removes trailing space from files. The later is a feature of my editor.