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