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