edwinb/idris2-vim

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

ShaunApps opened this issue · 0 comments

ShaunApps commented

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