pingu/Heated-Gaming
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2 Commits 1 Branch 0 Tags
main
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
pingu 0fd49a19e9 Added templates and some code done
2026-02-08 12:32:06 +01:00
0Trinitarianism
Added templates and some code done
2026-02-08 12:32:06 +01:00
1FundamentalGroup
Added templates and some code done
2026-02-08 12:32:06 +01:00
.gitignore
Initial commit
2026-02-07 20:49:50 +00:00
Heated-Gaming.agda-lib
Added templates and some code done
2026-02-08 12:32:06 +01:00
README.md
Initial commit
2026-02-07 20:49:50 +00:00

README.md

Heated-Gaming

Playing the HoTT Game from https://thehottgameguide.readthedocs.io/en/latest/index.html

Reference in New Issue View Git Blame Copy Permalink
Description
Playing the HoTT Game from https://thehottgameguide.readthedocs.io/en/latest/index.html
Readme 31 KiB
Languages
Agda 100%