From d7d97d45ad643cd4a59131607835696a51bb0fd7 Mon Sep 17 00:00:00 2001
From: Joel Berkeley <16429957+joelberkeley@users.noreply.github.com>
Date: Sat, 11 Nov 2023 16:09:23 +0000
Subject: [PATCH] line length

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

diff --git a/README.md b/README.md
index 03e85cb46..593ef7335 100644
--- a/README.md
+++ b/README.md
@@ -8,10 +8,12 @@ with first class types.
 
 For installation instructions, see [INSTALL.md](INSTALL.md).
 
-The [wiki](https://github.com/idris-lang/Idris2/wiki) lists a number of useful resources, in particular
+The [wiki](https://github.com/idris-lang/Idris2/wiki) lists a number of useful
+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) that showcase its capabilities
++ [Resources for learning Idris](https://github.com/idris-lang/Idris2/wiki/Resources),
+  including [videos](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)
 
 ## Things still missing