edwinb/Idris-dev — pull request #105 by chetant (2012-11-28 04:48:00+00:00)
Title: Ability to build in Windows MingW32

I've added a few other changes that finishes all windows related changes. Ran tests in linux and windows msys, everything works.