idris-lang/Idris-dev — pull request #1237 by melted (2014-05-18 10:02:04+00:00)
Title: Update the windows RTS files and consolidate the headers

No need to have two sets of headers if we move the includes to the C file where they belong.