From 54c83cd80beac63f8b5f611b856246b369fd3a7f Mon Sep 17 00:00:00 2001 From: Joel Berkeley <16429957+joelberkeley@users.noreply.github.com> Date: Mon, 13 Nov 2023 11:42:27 +0000 Subject: [PATCH] wording Co-authored-by: CodingCellist --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 3fc1d83c9..447441d21 100644 --- a/README.md +++ b/README.md @@ -13,7 +13,7 @@ resources, in particular + [What's changed since Idris 1](https://idris2.readthedocs.io/en/latest/updates/updates.html) + [Resources for learning Idris](https://github.com/idris-lang/Idris2/wiki/Resources), - including [videos](https://github.com/idris-lang/Idris2/wiki/Resources#official-talks) + including [official talks](https://github.com/idris-lang/Idris2/wiki/Resources#official-talks) that showcase its capabilities + [Editor support](https://github.com/idris-lang/Idris2/wiki/Editor-Support)