edwinb/Idris-dev — pull request #71 by raichoo (2012-11-02 12:16:33+00:00)
Title: fixed vim indentation issue

added word boundaries to make
indenting more accurate