idris-hackers/idris-vim — pull request #26 by ctford (2014-11-22 13:45:48+00:00)
Title: Mention the obvious proof search.

I attended a session where Edwin showed us o, but I noticed it's not in the documentation.