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