edwinb/Idris-dev — pull request #101 by chetant (2012-11-27 02:19:25+00:00)
Title: Support for Windows MingW32

Fixed paths and setup line conversion. Also added some tests and emacs backup files to .gitignore.