Add runPureEnv
Idris support for Sublime Text 2
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
vim: fix nested blockcomments