Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Advanced Usage

🚧 TODO:

  • --cubical Agda: specifying flags and installing cubical
  • overriding libraries: new versions, applying patches
  • more output derivations: HTML documentation?
  • CI setup for free™
  • Unicode weirdness: Unicode names in files and locale issues

Cubical Agda: specifying Agda options

Overriding libraries