rhi
/
idris2-vim
1
0
Fork 0
Code Issues Pull Requests Releases Activity

fix references to idris1(-mode)

This commit is contained in:
Soham Chowdhury 2020-03-10 08:13:16 +05:30 committed by GitHub
parent 7a0b10df22
commit a1ea598326
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -25,7 +25,7 @@ I recommend using [Pathogen][] for installation. Simply clone
this repo into your `~/.vim/bundle` directory and you are ready to go.
cd ~/.vim/bundle
git clone https://github.com/idris-hackers/idris-vim.git
git clone https://github.com/edwinb/idris2-vim.git
### Manual Installation
@ -47,7 +47,7 @@ how to use it, read this blog article by Edwin Brady on [Interactive Idris editi
## Interactive Editing Commands
[Idris][] mode for vim offers interactive editing capabilities, the following
[Idris2][] mode for vim offers interactive editing capabilities, the following
commands are supported.
`<LocalLeader>r` reload file