From 4c5bfbc95c136d894932d96e1ef9af1e7214c028 Mon Sep 17 00:00:00 2001
From: Joel Berkeley <16429957+joelberkeley@users.noreply.github.com>
Date: Fri, 10 Nov 2023 13:31:54 +0000
Subject: [PATCH] icon attempt 2

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

diff --git a/README.md b/README.md
index 771c16a31..f99b9a36d 100644
--- a/README.md
+++ b/README.md
@@ -1,9 +1,9 @@
-# Idris 2
+# ![Idris icon](./icons/idris2-512x512.png) Idris 2
 
 [![Documentation Status](https://readthedocs.org/projects/idris2/badge/?version=latest)](https://idris2.readthedocs.io/en/latest/?badge=latest)
 [![Build Status](https://github.com/idris-lang/Idris2/actions/workflows/ci-idris2-and-libs.yml/badge.svg?branch=main)](https://github.com/idris-lang/Idris2/actions/workflows/ci-idris2-and-libs.yml?query=branch%3Amain)
 
-![Idris icon](icons/idris2-512x512.png) [Idris 2](https://idris-lang.org/) is a purely functional programming language
+[Idris 2](https://idris-lang.org/) is a purely functional programming language
 with first class types.
 
 For installation instructions, see [INSTALL.md](INSTALL.md).