pingu/Heated-Gaming
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
1 Commit 1 Branch 0 Tags
8bd3e255a05697730ea4e2e385c4aa42d25d6b76
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
pingu 8bd3e255a0 Initial commit
2026-02-07 20:49:50 +00:00
.gitignore
Initial commit
2026-02-07 20:49:50 +00: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%