idris-hackers/idris-vim — pull request #24 by japesinator (2014-10-18 16:11:07+00:00)
Title: Integrated Vim-IdrisConceal

As mentioned in https://github.com/japesinator/vim-IdrisConceal/issues/3 and #22, this integrates and documents concealing functionality