idris-lang/Idris-dev — pull request #939 by melted (2014-02-26 19:54:03+00:00)
Title: Split out Windows versions of some rts files

This allows the introduction of Posix functionality, parallel Windows
implementations can then be put in the windows/ directory.