From a1ea598326bd24cb7b0a2f854f2f3153608d686e Mon Sep 17 00:00:00 2001
From: Soham Chowdhury <chow.soham@gmail.com>
Date: Tue, 10 Mar 2020 08:13:16 +0530
Subject: [PATCH] fix references to idris1(-mode)

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index b1da656..7fb47ef 100644
--- a/README.md
+++ b/README.md
@@ -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