From 0db674ff18d1a8364dfc2fb4553eb3b314f82b34 Mon Sep 17 00:00:00 2001 From: Edwin Brady Date: Sat, 22 Feb 2020 20:46:22 +0000 Subject: [PATCH] More README fixes --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 797891a..7b1447d 100644 --- a/README.md +++ b/README.md @@ -121,9 +121,10 @@ Concealing with unicode characters is off by default, but `let g:idris_conceal = If you simply must use tab characters, and would prefer that the ftplugin not set expandtab add `let g:idris_allow_tabchar = 1`. -[Idris]: http://www.idris-lang.org +[Idris2]: https://github.com/edwinb/Idris2 [Syntastic]: https://github.com/scrooloose/syntastic [Vimshell]: https://github.com/Shougo/vimshell.vim [Pathogen]: https://github.com/tpope/vim-pathogen +[idris-mode]: https://github.com/idris-hackers/idris-vim [Interactive Idris editing with vim]: http://edwinb.wordpress.com/2013/10/28/interactive-idris-editing-with-vim/