vim: added rewrite construct
Add runPureEnv
Idris support for Sublime Text 2
Merge branch 'master' of https://github.com/edwinb/Idris-dev
Minor tinkering with effects
Merge pull request #247 from raichoo/vim

vim: added rewrite construct
Merge pull request #248 from melted/sublime

Idris support for Sublime Text 2
Merge branch 'master' of github.com:edwinb/Idris-dev
quiet mode: for editors
vim: fix nested blockcomments
Merge pull request #251 from raichoo/master

quiet mode: for editors
Merge pull request #252 from raichoo/vim

vim: fix nested blockcomments
Merge branch 'master' of https://github.com/edwinb/Idris-dev