idris-lang/Idris-dev — pull request #1578 by jfdm (2014-10-03 09:30:53+00:00)
Title: First lift of TODOs and FIXMEs from source to Issue Tracker.

First, of the many lifts of the TODOs and FIXMEs from the Idris source to the Issue Tracker. I have tried to put as much information as possible about the FIXMEs and TODOs in the issue box, but it will need more elaboration. Remember, I am just repeating the message.