search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Mention the obvious proof search. #26

Closed ctford closed 9 years ago

ctford commented 9 years ago

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

raichoo commented 9 years ago

Thanks a bunch :)