typst-agda-spec-6: Document the Agda formalisation and record the changelog entry - #2789

typst-agda-spec-6: Document the Agda formalisation and record the changelog entry#2789

noonio wants to merge 3 commits into

typst-agda-spec-5cardano-scaling/hydra:typst-agda-spec-5from

typst-agda-spec-6cardano-scaling/hydra:typst-agda-spec-6Copy head branch name to clipboard