Specification

The specification is written in Agda and LaTeX and lives in the spec/ directory of this repository. You can view the rendered version below or download it for fullscreen viewing here.