Giters

edwinb / idris2-vim

Vim mode for Idris 2

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Link to `Interactive Idris editing with vim` goes to private wordpress page

ShaunApps opened this issue · comments

commented

Link to Interactive Idris editing with vim instructions goes to private wordpress page. Can't find the editing instructions elsewhere