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

Update README.md

Browse Source
This commit is contained in:
jlh 2021-07-19 19:01:32 +01:00 committed by GitHub
parent d7fe56e8c2
commit ffca42f10f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -23,11 +23,11 @@ https://github.com/agda/cubical) (version 0.3)
and make sure Agda knows where your cubical library is and make sure Agda knows where your cubical library is
by following instructions on the [library management page]( by following instructions on the [library management page](
https://agda.readthedocs.io/en/latest/tools/package-system.html?highlight=library%20management). https://agda.readthedocs.io/en/latest/tools/package-system.html?highlight=library%20management).
(In short: locate (or create) your `libraries` file and add a line In short: locate (or create) your `libraries` file and add a line
``` ```
the-directory/cubical.agda-lib the-directory/cubical.agda-lib
``` ```
to it, where `the-directory` is the location of `cubical.agda-lib` on your computer.) to it, where `the-directory` is the location of `cubical.agda-lib` on your computer.
Get the HoTT Game by [cloning this repository]( Get the HoTT Game by [cloning this repository](
https://git-scm.com/book/en/v2/Git-Basics-Getting-a-Git-Repository) https://git-scm.com/book/en/v2/Git-Basics-Getting-a-Git-Repository)