Merge pull request #4891 from lynn/patch-1

Update link to Idris 2 repo in README
idris-lang · Dec 30, 2020 · a13caeb · a13caeb
2 parents 0a11fd7 + 6281a09
commit a13caeb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -45,5 +45,5 @@ where some interesting projects are being hosted.
 For those interested in contributing to Idris directly we kindly ask that
 prospective developers please consult the [Contributing Guide](CONTRIBUTING.md) first.
 
-[Idris 2](https://github.com/edwinb/Idris2) is an early preview of the next generation
+[Idris 2](https://github.com/idris-lang/Idris2) is an early preview of the next generation
 of Idris, implemented in Idris.