germax26/TheHoTTGame
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update README.rst

Browse Source
This commit is contained in:
jlh 2022-02-22 09:57:05 +00:00 committed by GitHub
parent ad9b98357f
commit a55e3bfc57
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
README.rst
View File

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