idris-lang/Idris-dev — pull request #1743 by jfdm (2014-11-21 14:49:46+00:00)
Title: Lifting of TODO/FIXMES

More lifting of TODO/FIXME from the code to the issue tracker, together with removal of trailing whitespace from files. The latter is an ever existing function of my editor.