The HoTT Game
latest
Getting Started
The HoTT Game
Installation
Emacs and Unicode Commands
Getting Git on MacOS
Trinitarianism
Fundamental Group of the Circle
The HoTT Game
Getting Started
Edit on GitHub
Getting Started
The HoTT Game
Agdapad
Installing Agda and the Cubical Agda library
Where to start?
How to start?
Emacs issues
Special thanks
Installation
Overview
Installing
agda
Installing
doom
emacs
Getting
agda2-mode
or
agda-mode
support for your text editor
Check the
agda
and
agda-mode
installations
Getting the cubical library
Getting The HoTT Game
Installing with Nix
Emacs and Unicode Commands
Agdapad
Notation
General Doom Emacs usage
Agda usage
Unicode commands
Getting Git on MacOS
Check the version
Get the right version
Read the Docs
v: latest
Versions
latest
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds