From a55e3bfc5786bcfd02f30ddf93e792d8d72f8246 Mon Sep 17 00:00:00 2001
From: jlh <48520973+Jlh18@users.noreply.github.com>
Date: Tue, 22 Feb 2022 09:57:05 +0000
Subject: [PATCH] Update README.rst

---
 README.rst | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/README.rst b/README.rst
index b024221..a930e7d 100644
--- a/README.rst
+++ b/README.rst
@@ -11,8 +11,9 @@ with the aim of introducing
 as a tool for trying out mathematics in HoTT.
 This page will help you get the Game working for you.
 
-For instructions on how to get started with the HoTT Game,
-visit
+This repository is a library of incomplete `agda` code, for the user to complete
+as part of the HoTT Game. 
+For instructions on how to get started, visit
 `this page <https://thehottgameguide.readthedocs.io/en/latest/index.html>`_.
 
 The creators of this game are